Marco Dos Santos (Preferred)
Marco Dos Santos
Intern, University of Cambridge
MS student, Sorbonne University
- Joined June 2023
Names
Emails
****@gmail.com (Confirmed)
, ****@cam.ac.uk (Confirmed)
Personal Links
Career & Education History
Intern
University of Cambridge (cam.ac.uk)
2023 – Present
MS student
Sorbonne University (sorbonne-universite.fr)
2022 – Present
Advisors, Relations & Conflicts
Expertise
language models
2023 – Present
theorem proving, automated theorem proving
2021 – Present