Marco Dos Santos

University of Cambridge

  • Joined June 2023

Names

Marco Dos Santos (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@cam.ac.uk (Confirmed)

Personal Links

Education & Career History

Intern
University of Cambridge (cam.ac.uk)
2023 – Present
 
MS student
Sorbonne University (sorbonne-universite.fr)
2022 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

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