ML Anthology
Authors
Search
About
Fedoseev, Timofey
1 publications
NeurIPSW
2024
Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning
Timofey Fedoseev
,
Dimitar Iliev Dimitrov
,
Timon Gehr
,
Martin Vechev