Pages that link to "Item:Q1617390"
From MaRDI portal
The following pages link to Deep neural networks and mixed integer linear optimization (Q1617390):
Displayed 23 items.
- Data-driven optimization model customization (Q2023910) (← links)
- Optimization problems for machine learning: a survey (Q2029894) (← links)
- Classifier-based constraint acquisition (Q2043441) (← links)
- Advances in verification of ReLU neural networks (Q2046329) (← 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)
- Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem (Q2117227) (← links)
- Between steps: intermediate relaxations between big-M and convex hull formulations (Q2117230) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Convex and concave envelopes of artificial neural network activation functions for deterministic global optimization (Q2689856) (← links)
- Strong mixed-integer programming formulations for trained neural networks (Q5918909) (← 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)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Getting away with more network pruning: from sparsity to geometry and linear regions (Q6057261) (← links)
- OAMIP: optimizing ANN architectures using mixed-integer programming (Q6057263) (← links)
- Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio (Q6097125) (← links)
- On mathematical optimization for clustering categories in contingency tables (Q6106171) (← links)
- Data-driven robust optimization using deep neural networks (Q6109292) (← links)
- Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (Q6120722) (← 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)
- BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (Q6202105) (← links)