marco-dossantos
Incoming PhD student at the University of Cambridge. Interested in formal mathematical reasoning, using language modeling and reinforcement learning.
University of CambridgeCambridge, UK
Incoming PhD student at the University of Cambridge. Interested in formal mathematical reasoning, using language modeling and reinforcement learning.
University of CambridgeCambridge, UK