firstbacksecondback
1 Results
|
Workshop
|
Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning Timofey Fedoseev · Dimitar I. Dimitrov · Timon Gehr · Martin Vechev |