marco-dossantos

PhD student at the University of Cambridge. Interested in formal mathematical reasoning, using language modeling and reinforcement learning.

Company:University of CambridgeLocation:Cambridge, UK

marco-dossantos's Stars

marco-dossantos doesn’t have any stars yet.