Hua-Nan Zhang

OR for AI That Does OR: Routing LLMs up the Escalator inside the OSCAR Framework

This work develops OSCAR (Optimization modeling by Simulator, Coder, and Reviewer), which uses an offline Simulator certified against labeled decision examples to compare candidates and continues searching beyond feasibility, and model the search for the next certified improvement as sequential decisions under unobserv...