Fedoseev, Timofey

1 publications

NeurIPSW 2024 Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning Timofey Fedoseev, Dimitar Iliev Dimitrov, Timon Gehr, Martin Vechev