Kneser's Theorem and the Cauchy-Davenport Theorem. - Mantas Baksys; Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2022)

The Balog-Szemerédi-Gowers Theorem. - Angeliki Koutsoukou-Argyraki; Mantas Baksys; Chelsea Edmonds (Arch. Formal Proofs, 2022)

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. - Angeliki Koutsoukou-Argyraki; Mantas Baksys; Chelsea Edmonds (CPP, 2023)

Formal Mathematics Statement Curriculum Learning. - Stanislas Polu; Jesse Michael Han; Kunhao Zheng; Mantas Baksys; Igor Babuschkin; Ilya Sutskever (ICLR, 2023)

A Generalization of the Cauchy-Davenport theorem. - Mantas Baksys (Arch. Formal Proofs, 2024)

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é; et al. (CoRR, 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, 2025)