1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2025
DualSchool: How Reliable are LLMs for Optimization Education?
Michael Klamkin, Arnaud Deza, Sikai Cheng +2
Consider the following task taught in introductory optimization courses which addresses challenges articulated by the community at the intersection of (generative) AI and OR: gener…
math.OC2024★ 1 cited
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
Haoruo Zhao, Hassan Hijazi, Haydn Jones +3
Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…