Between steps: Intermediate relaxations between big-M and convex hull formulations

29 January 2021

Papers citing "Between steps: Intermediate relaxations between big-M and convex hull formulations"

4 / 4 papers shown

Title
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 40 0 0 27 Jan 2025
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
Model-based feature selection for neural networks: A mixed-integer programming approach Shudian Zhao Calvin Tsay Jan Kronqvist 19 5 0 20 Feb 2023
OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon Jordan Jalving Joshua Haddad Alexander Thebelt Calvin Tsay C. Laird Ruth Misener 25 67 0 04 Feb 2022