about
publications
CV
teaching
repositories

Announcement_2

Created on November 01, 2025

2025

Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean appeared in ACL Anthology (MathNLP @ EMNLP 2025).

© Copyright 2026 Michael Diskin.