Logic.py: Bridging the Gap between LLMs and Constraint Solvers Paper • 2502.15776 • Published Feb 17 • 1
Logic.py: Bridging the Gap between LLMs and Constraint Solvers Paper • 2502.15776 • Published Feb 17 • 1
MLGym: A New Framework and Benchmark for Advancing AI Research Agents Paper • 2502.14499 • Published Feb 20 • 189
MLGym: A New Framework and Benchmark for Advancing AI Research Agents Paper • 2502.14499 • Published Feb 20 • 189