Logic.py: Bridging the Gap between LLMs and Constraint Solvers Paper • 2502.15776 • Published 22 days ago • 1
Logic.py: Bridging the Gap between LLMs and Constraint Solvers Paper • 2502.15776 • Published 22 days ago • 1
MLGym: A New Framework and Benchmark for Advancing AI Research Agents Paper • 2502.14499 • Published 18 days ago • 177
MLGym: A New Framework and Benchmark for Advancing AI Research Agents Paper • 2502.14499 • Published 18 days ago • 177