-
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
Paper • 2508.11850 • Published • 3 -
CP-Bench: Evaluating Large Language Models for Constraint Modelling
Paper • 2506.06052 • Published • 2 -
Mamo: a Mathematical Modeling Benchmark with Solvers
Paper • 2405.13144 • Published -
CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
Paper • 2504.04310 • Published
Mahdi M. Dave PRO
MahdiMs86
AI & ML interests
None yet
Organizations
-
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
Paper • 2508.11850 • Published • 3 -
CP-Bench: Evaluating Large Language Models for Constraint Modelling
Paper • 2506.06052 • Published • 2 -
Mamo: a Mathematical Modeling Benchmark with Solvers
Paper • 2405.13144 • Published -
CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
Paper • 2504.04310 • Published
models
0
None public yet
datasets
0
None public yet