Mantas Baksys

According to our database, Mantas Baksys authored at least 10 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

WybeCoder: Verified Imperative Code Generation.

Fabian Gloeckle, Mantas Baksys, Darius Feher, Kunhao Zheng, Amaury Hayat, Sean B. Holden, Gabriel Synnaeve, Peter W. O'Hearn

CoRR, March, 2026

2025

MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.

Mantas Baksys, Stefan Zetzsche, Olivier Bouissou

CoRR, December, 2025

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis.

Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong

CoRR, December, 2025

Kimina Lean Server: Technical Report.

Marco Dos Santos, Haiming Wang, Hugues de Saxcé, Ran Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia Li

CoRR, April, 2025

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

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

CoRR, April, 2025

2024

A Generalization of the Cauchy-Davenport theorem.

Mantas Baksys

Arch. Formal Proofs, 2024

2023

Formal Mathematics Statement Curriculum Learning.

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

Proceedings of the Eleventh International Conference on Learning Representations, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

The Balog-Szemerédi-Gowers Theorem.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Arch. Formal Proofs, 2022

Kneser's Theorem and the Cauchy-Davenport Theorem.

Mantas Baksys, Angeliki Koutsoukou-Argyraki

Arch. Formal Proofs, 2022