Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2(arxiv.org)38 points by hnhn34 1 year ago | 2 comments
DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data(arxiv.org)167 points by hhs 2 years ago | 48 comments
Making LLMs Cheaper and Better via Performance-Efficiency Optimized Routing(arxiv.org)118 points by omarsar 1 year ago | 22 comments
Implicit Actor Critic Coupling via a Supervised Learning Framework for RLVR(arxiv.org)38 points by getnormality 1 year ago | 9 comments