research
∙
12/06/2021
Automap: Towards Ergonomic Automated Parallelism for ML Models
The rapid rise in demand for training large neural network architectures...
share
research
∙
07/21/2021
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Large Neighborhood Search (LNS) is a combinatorial optimization heuristi...
research
∙
12/23/2020
Solving Mixed Integer Programs Using Neural Networks
Mixed Integer Programming (MIP) solvers rely on an array of sophisticate...
research
∙
12/04/2019
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
We propose prioritized unit propagation with periodic resetting, which i...
research
∙
05/07/2019
