Marco dos Santos
Contributor @Project Numina
Cambridge, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Nov 2024 — Present
Contributor @Project Numina
View department →
Research on neural theorem proving with Lean 4, developing the Kimina Lean Server, implementing tree search algorithms, fine-tuning LLMs and developing a RL pipeline to train Kimina-Prover.
ABOUT MARCO DOS SANTOS
I am a PhD student at the University of Cambridge, and a Student Researcher at Google…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.