Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
46Dejan Grubisic
dejangrubisic
AI & ML interests
None yet
Recent Activity
upvoted
an
article
15 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
authored
a paper
over 1 year ago
Compiler generated feedback for Large Language Models
upvoted
a
paper
over 1 year ago
Priority Sampling of Large Language Models for Compilers
Organizations
None yet