AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
DGX agentarXiv:2604.16804v1 Announce Type: new Abstract: Optimization problems are central to decision-making in manufacturing, logistics, scheduling, and other industrial settings. Translating complicated des