AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems. - Sumeet Ramesh Motwani; Chuan Du; Aleksander Petrov; Christopher Davis; Philip H. S. Torr; Antonio Papania-Davis; Weishi Yan (CoRR, 2026)