Incoming PhD student at the University of Cambridge. Interested in formal mathematical reasoning, using language modeling and reinforcement learning.
-
University of Cambridge
- Cambridge, UK
-
04:13
(UTC +01:00) - https://marco-dossantos.github.io/
- in/dsantosmarco
- @dsantosmarco
Highlights
- Pro
Earned achievements
Pull Shark
x2
Pull Shark
x2
Loading
Quickdraw
Quickdraw
Loading