2 papers
cs.AI2026
OptiSkill: A Hierarchical and Evolving SkillBank for LLM-Based Optimization Modeling
Ruiqing Zhao, Rui Liu, Yuan Zuo +3
Automated operations research (OR) modeling requires LLMs to translate natural-language decision problems into correct mathematical programs. Existing methods can improve individua…
cs.LG2026
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Vikash Singh, Debargha Ganguly, Aman Goel +5
Neurosymbolic systems rely on mathematical solvers to guarantee reasoning correctness, yet solvers are fundamentally blind to whether a formal translation maintains strict referenc…