Llemma: An Open Language Model for Mathematics. - Zhangir Azerbayev; Hailey Schoelkopf; Keiran Paster; Marco Dos Santos; Stephen Marcus McAleer; Albert Q. Jiang; Jia Deng; Stella Biderman; Sean Welleck (ICLR, 2024)

OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text. - Keiran Paster; Marco Dos Santos; Zhangir Azerbayev; Jimmy Ba (ICLR, 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)