VERAS: Verification-Guided Adaptive Search for Reliable Operations Research

Minbo Ma, Honglin Zhang, Bangtao Zhou +5

Advances in reasoning, coding, and tool use enable LLM agents to solve operations research (OR) problems through iterative problem modeling, program construction, and verification.…