Marco Dos Santos
dsantosmarco
AI & ML interests
Formal mathematical reasoning, using language modelling and reinforcement learning.
Recent Activity
upvoted
a
collection
about 15 hours ago
Kimina Prover Preview
Organizations
dsantosmarco's activity
No public activity