Marco Dos Santos

PhD student, University of Cambridge

Intern, Google

Joined

June 2023

Names

Marco Dos Santos (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@cam.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student

University of Cambridge (cam.ac.uk)

2024 – 2028

Intern

Google (google.com)

2025 – 2026

MS student

Sorbonne University (sorbonne-universite.fr)

2022 – 2023

Advisors, Relations & Conflicts

No relations added

Expertise

automated reasoning

2024 – Present

theorem proving

2021 – Present

Publications

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Marco Dos Santos, Hugues de Saxcé, Haiming Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia LI
- MATH-AI 2025 Poster
- Readers: Everyone
Target-Based Automated Conjecturing for Neural Theorem Proving
Marco Dos Santos, Albert Q. Jiang, Wenda Li, Mateja Jamnik
- AI4Math@ICML25 Poster
- Readers: Everyone
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Mert Unsal, Haiming Wang, Jia LI, Zhengying Liu, Mantas Baksys, Xiaohan Lin, Marco Dos Santos
- OpenReview Archive Direct Upload
- Readers: Everyone
Llemma: An Open Language Model For Mathematics
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Jiang, Jia Deng, Stella Biderman, Sean Welleck
- MATH-AI 23 Poster
- Readers: Everyone
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, Jimmy Ba
- MATH-AI 23 Poster
- Readers: Everyone
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 poster
- Readers: Everyone
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, Jimmy Ba
- ICLR 2024 poster
- Readers: Everyone

Co-Authors