BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving Paper • 2502.03438 • Published Feb 5 • 2
MLGym: A New Framework and Benchmark for Advancing AI Research Agents Paper • 2502.14499 • Published 20 days ago • 178