PhD student @ University of Cambridge | Researcher @ Numina | Formal mathematics, LLM, RL | Core contributor to Kimina-Prover, Llemma and OpenWebMath.

ID: 1662556072652013572

linkhttps://marco-dossantos.github.io/ calendar_today27-05-2023 20:27:21