Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean

Mark Obozov | Michael Diskin | Aleksandr Beznosikov | Alexander Gasnikov | Serguei Barannikov |

Paper Details:

Month: November
Year: 2025
Location: Suzhou, China
Venue: MathNLP | WS |

Citations

URL

No Citations Yet

No URLs Found

Field Of Study