Publications

H. Wang, M. Unsal, X. Lin, , J. Liu, M.D Santos, F. Sung, M. Vinyes (2025). Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models. HuggingFace Blog.

Cite HuggingFace Blog

H. Wang, M. Unsal, X. Lin, , J. Liu, M.D Santos, F. Sung, M. Vinyes (2025). Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. arXiv preprint arXiv:2504.11354.

PDF Cite arXiv

M.D Santos, H. Wang, H. de Saxcé, R. Wang, , M. Unsal, J. Liu (2025). Kimina Lean Server: Technical Report. arXiv preprint arXiv:2504.21230.

PDF Cite arXiv

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever (2023). Formal Mathematics Statement Curriculum Learning. Top 25% paper at ICLR 2023.

Cite URL

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds (2023). A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.

Cite DOI URL

Mantas Baksys, Xuanang Chen (2021). On number of different sized induced subgraphs of Bipartite-Ramsey graphs (arXiv pre-print).

Cite arXiv