VERAS: Verification-Guided Adaptive Search for Reliable Operations Research.

arXiv:2610.24329v1 Announce Type: cross Abstract: Advances in reasoning, coding, and tool use enable LLM agents to solve operations research (OR) problems through iterative problem modeling, program construction, and verification. Yet passing self-authored ver