Mantas Baksys

PhD student, University of Cambridge

Joined

May 2022

Names

Mantas Baksys (Preferred)

Emails

****@cam.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student

University of Cambridge (cam.ac)

2024 – Present

MS student

University of Cambridge (cam.ac.uk)

2023 – 2024

Undergrad student

University of Cambridge (cam.ac.uk)

2020 – 2023

Advisors, Relations & Conflicts

PhD Advisor

2024 – 2028

Expertise

No areas of expertise listed

Publications

MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Sean B. Holden
- Forty-Third International Conference on Machine Learning
- Readers: Everyone
MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou
- Dafny Workshop at the Symposium on Principles of Programming Languages
- Readers: Everyone
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Rémi Delmas, Soonho Kong
- Dafny Workshop at the Symposium on Principles of Programming Languages
- Readers: Everyone
Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Marco Dos Santos, Hugues de Saxcé, Haiming Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia LI
- MATH-AI 2025 Poster
- Readers: Everyone
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Mert Unsal, Haiming Wang, Jia LI, Zhengying Liu, Mantas Baksys, Xiaohan Lin, Marco Dos Santos
- OpenReview Archive Direct Upload
- Readers: Everyone
Formal Mathematics Statement Curriculum Learning
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
- Published: 01 Feb 2023, Last Modified: 14 Jan 2026
- ICLR 2023 notable top 25%
- Readers: Everyone

Co-Authors