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