LARA — Lab for Automated Reasoning and Analysis (EPFL)

We build AI for mathematics and verified software: formal mathematics and theorem proving in Lean 4, and AI for verified software engineering.

🌐 lara.epfl.ch · 🏛️ EPFL

Publications

• Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs. Lazar Milikic, Etienne Bamas, Emmanuel Abbe, Viktor Kunčak. arXiv:2610.21881
• LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization. Lazar Milikić, Simon Guilloud, Khanh Nguyen, Viktor Kunčak. arXiv:2607.20503