dsantosmarco
·
AI & ML interests
Formal mathematical reasoning, using language modelling and reinforcement learning.
Recent Activity
Organizations
-
-
-
-
-
-
-
-
-
-
-
published
an
article
about 2 months ago
view article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models