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

Pinned Repositories

Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:Python51 4 718
math-lm
Language:Python1.1k 16 4685
math-lm
Language:Jupyter Notebook00
mathlib
Lean mathematical components library
Language:Lean00
miniF2F
Formal to Formal Mathematics Benchmark
Language:Objective-C++00
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:Python00
miniF2F
Formal to Formal Mathematics Benchmark
Language:Objective-C++322 117 4245

marco-dossantos's Repositories

marco-dossantos/math-lm
Language:Jupyter Notebook00
marco-dossantos/mathlib
Lean mathematical components library
Language:Lean00
marco-dossantos/miniF2F
Formal to Formal Mathematics Benchmark
Language:Objective-C++00
marco-dossantos/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:Python00