Pages that link to "Item:Q5918909"

The following pages link to Strong mixed-integer programming formulations for trained neural networks (Q5918909):

Displaying 18 items.

• Advances in verification of ReLU neural networks (Q2046329) (← links)
• Compact mixed-integer programming formulations in quadratic optimization (Q2089884) (← links)
• An outer-approximation guided optimization approach for constrained neural network inverse problems (Q2097633) (← links)
• A two-stage exact algorithm for optimization of neural network ensemble (Q2117204) (← links)
• Between steps: intermediate relaxations between big-M and convex hull formulations (Q2117230) (← links)
• Ideal, non-extended formulations for disjunctive constraints admitting a network representation (Q2149570) (← links)
• (Q4969086) (← links)
• JANOS: An Integrated Predictive and Prescriptive Modeling Framework (Q5085992) (← links)
• Strong mixed-integer programming formulations for trained neural networks (Q5918909) (← links)
• (Q5919379) (redirect page) (← links)
• Modeling design and control problems involving neural network surrogates (Q6043129) (← links)
• The role of optimization in some recent advances in data-driven decision-making (Q6044973) (← links)
• Principled deep neural network training through linear programming (Q6054389) (← links)
• On data-driven chance constraint learning for mixed-integer optimization problems (Q6072771) (← links)
• Towards Lower Bounds on the Depth of ReLU Neural Networks (Q6100606) (← links)
• On mathematical optimization for clustering categories in contingency tables (Q6106171) (← links)
• Optimization of sparsity-constrained neural networks as a mixed integer linear program (Q6145048) (← links)
• Deep Neural Networks Pruning via the Structured Perspective Regularization (Q6148352) (← links)