Joey Huchette

1. JuMP 1.0: Recent improvements to a modeling language for mathematical optimization
   2022/06/01 by Miles Lubin, Oscar Dowson, Lubin, Miles +9 · 44 citations
   Engineering · Mathematics · Computer Science · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #Polynomial and algebraic computation
2. Strong mixed-integer programming formulations for trained neural networks
   2020/02/13 by Ross Anderson, Joey Huchette, Will Ma +2 · 16 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Advanced Neural Network Applications
3. Strong mixed-integer programming formulations for trained neural networks
   2018/11/20 by Ross Anderson, Joey Huchette, Anderson, Ross +5 · 11 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Mathematics #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Control (math.OC)
4. When Deep Learning Meets Polyhedral Theory: A Survey
   2023/04/29 by Joey Huchette, Huchette, Joey, Gonzalo Muñoz +5 · 3 citations
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications #Optimization and Control (math.OC)
5. The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
   2020/06/24 by Christian Tjandraatmadja, Ross Anderson, Tjandraatmadja, Christian +9 · 2 citations
   Computer Science · Engineering · #68T07 #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Machine Learning (stat.ML)