Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
54
Yuanhe Zhang
liminho123
AI & ML interests
Theoretical foundation and algorithmic development of fine-tuning for LLM
Recent Activity
liked
a dataset
about 18 hours ago
Alibaba-Apsara/Superior-Reasoning-SFT-gpt-oss-120b
liked
a dataset
about 1 month ago
nvidia/Nemotron-Math-v2
liked
a dataset
3 months ago
tasksource/leandojo
Organizations
None yet