·
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
Organizations
None yet
-
-
-
-
-
-
-
-
-
-
-
upvoted a paper 4 days ago upvoted a paper 9 days ago view article Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models