-
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
Recent Activity
new activity
about 2 months ago
albertge/synthetic-orqa:Please cite the original dataset source
authored
a paper
about 2 months ago
MASPRM: Multi-Agent System Process Reward Model
updated
a collection
about 2 months ago
Multi Agent System Optimization
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