Marco Dos Santos
dsantosmarco
AI & ML interests
Formal mathematical reasoning, using language modelling and reinforcement learning.
Recent Activity
published
an
article
26 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
upvoted
a
collection
3 months ago
Kimina Prover Preview