-
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
MahdiMs86
·
AI & ML interests
None yet
Recent Activity
authored
a paper
about 1 month ago
NL4Opt Competition: Formulating Optimization Problems Based on Their
Natural Language Descriptions
authored
a paper
about 1 month ago
SMARTAPS: Tool-augmented LLMs for Operations Management
upvoted
a
collection
about 1 month ago
AI4Math
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