Mantas Baksys

11 papers A* 1B 1Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
WybeCoder: Verified Imperative Code Generation.
CoRR
Fabian Gloeckle, Mantas Baksys, Darius Feher, Kunhao Zheng, Amaury Hayat, Sean B. Holden, Gabriel Synnaeve, Peter W. O'Hearn
2025 J jnl
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong
2025 J jnl
Kimina Lean Server: Technical Report.
CoRR
Marco Dos Santos, Haiming Wang, Hugues de Saxcé, Ran Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia Li
2025 J jnl
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
CoRR
Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li
2025 J jnl
MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou
2024 J jnl
A Generalization of the Cauchy-Davenport theorem.
Arch. Formal Proofs
Mantas Baksys
2023 B conf
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.
CPP
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
2023 A* conf
Formal Mathematics Statement Curriculum Learning.
ICLR
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022 J jnl
Formal Mathematics Statement Curriculum Learning.
CoRR
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022 J jnl
Kneser's Theorem and the Cauchy-Davenport Theorem.
Arch. Formal Proofs
Mantas Baksys, Angeliki Koutsoukou-Argyraki
2022 J jnl
The Balog-Szemerédi-Gowers Theorem.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds