Marco Dos Santos

PhD student, University of Cambridge

  • 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
 
MS student
Sorbonne University (sorbonne-universite.fr)
2022 – 2023
 

Advisors, Relations & Conflicts

No relations added

Expertise

language models
2023 – Present
 
theorem proving, automated theorem proving
2021 – Present