Teaching LLMs to Generate Challenging MILP Instances via Solver Feedback

Jitin Singla, Parikshit Pareek, Pratik Jawanpuria, Parag Singla

arXivarxiv/2609.37356Sep 29, 2026cs.AIscore 0

Generating optimization instances that are both feasible and computationally challenging is crucial for benchmarking solvers and training learning-based optimization algorithms. Existing non-LLM generators rely on seed instances or parameter tuning, resulting in high test-time computational cost, while existing LLM generators lack explicit hardness measures. Recent reinforcement learning methods with verifier feedback evaluate only binary correctness, which is misaligned with generating challenging problems. We note that an optimization solver reports the cost of solving at several stages of…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.37356
curl -X POST /api/v1/records/arxiv/2609.37356/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37356/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'