Vielma, Juan Pablo
- JuMP 1.0: Recent improvements to a modeling language for mathematical optimization
2022/06/01 by Miles Lubin, Lubin, Miles, Oscar Dowson +9 · 65 citations
Engineering · Mathematics · Computer Science · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #Polynomial and algebraic computation
- Strong mixed-integer programming formulations for trained neural networks
2018/11/20 by Ross Anderson, Anderson, Ross, Joey Huchette +5 · 18 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)
- Solving natural conic formulations with Hypatia.jl
2020/05/03 by Chris Coey, Lea Kapelevich, Coey, Chris +3 · 11 citations
Computer Science · Mathematics · #90-04 #90C22 #90C23 #90C25 #90C51 #Advanced Optimization Algorithms Research #Complexity and Algorithms in Graphs #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC)
- Dynamic Automatic Differentiation of GPU Broadcast Kernels
2018/10/18 by Jarrett Revels, Tim Besard, Revels, Jarrett +7 · 1 voice · 1 citation
Computer Science · #Advanced Data Storage Technologies #Advanced Neural Network Applications #Parallel Computing and Optimization Techniques #cs.MS
- The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
2020/06/24 by Christian Tjandraatmadja, Tjandraatmadja, Christian, Ross Anderson +9 · 3 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)
- Conic optimization with spectral functions on Euclidean Jordan algebras
2021/03/06 by Chris Coey, Lea Kapelevich, Coey, Chris +3 · 2 citations
Computer Science · Mathematics · #90C51 #Advanced Optimization Algorithms Research #FOS: Mathematics #Matrix Theory and Algorithms #Numerical methods for differential equations #Optimization and Control (math.OC)
- Intersection Cuts for Nonlinear Integer Programming: Convexification Techniques for Structured Sets
2013/02/11 by Modaresi, Sina, Kılınç, Mustafa R., Vielma, Juan Pablo · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- A combinatorial approach for small and strong formulations of disjunctive constraints
2016/07/16 by Huchette, Joey, Vielma, Juan Pablo · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- Nonconvex piecewise linear functions: Advanced formulations and simple modeling tools
2017/07/31 by Huchette, Joey, Vielma, Juan Pablo · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- Two-sided linear chance constraints and extensions
2015/07/08 by Miles Lubin, Daniel Bienstock, Lubin, Miles +3 · 1 citation
Decision Sciences · Mathematics · #FOS: Mathematics #Fuzzy Systems and Optimization #Optimization and Control (math.OC) #Probabilistic and Robust Engineering Design #Risk and Portfolio Optimization
- Disjunctive cuts in Mixed-Integer Conic Optimization
2019/12/06 by Lodi, Andrea, Tanneau, Mathieu, Vielma, Juan Pablo · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- Constrained Discrete Black-Box Optimization using Mixed-Integer\n Programming
2021/10/18 by Theodore Papalexopoulos, Papalexopoulos, Theodore, Christian Tjandraatmadja +7 · 1 citation
Computer Science · #Advanced Multi-Objective Optimization Algorithms #FOS: Mathematics #Machine Learning and Algorithms #Machine Learning and Data Classification #Metaheuristic Optimization Algorithms Research #Optimization and Control (math.OC)