Alert button
Picture for Vinod Nair

Vinod Nair

Alert button

Solving MaxSAT with Matrix Multiplication

Nov 01, 2023
David Warde-Farley, Vinod Nair, Yujia Li, Ivan Lobov, Felix Gimeno, Simon Osindero

Figure 1 for Solving MaxSAT with Matrix Multiplication
Figure 2 for Solving MaxSAT with Matrix Multiplication
Figure 3 for Solving MaxSAT with Matrix Multiplication
Figure 4 for Solving MaxSAT with Matrix Multiplication
Viaarxiv icon

Automap: Towards Ergonomic Automated Parallelism for ML Models

Dec 06, 2021
Michael Schaarschmidt, Dominik Grewe, Dimitrios Vytiniotis, Adam Paszke, Georg Stefan Schmid, Tamara Norman, James Molloy, Jonathan Godwin, Norman Alexander Rink, Vinod Nair, Dan Belov

Figure 1 for Automap: Towards Ergonomic Automated Parallelism for ML Models
Figure 2 for Automap: Towards Ergonomic Automated Parallelism for ML Models
Figure 3 for Automap: Towards Ergonomic Automated Parallelism for ML Models
Figure 4 for Automap: Towards Ergonomic Automated Parallelism for ML Models
Viaarxiv icon

Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs

Jul 22, 2021
Nicolas Sonnerat, Pengming Wang, Ira Ktena, Sergey Bartunov, Vinod Nair

Figure 1 for Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Figure 2 for Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Figure 3 for Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Figure 4 for Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Viaarxiv icon

Solving Mixed Integer Programs Using Neural Networks

Dec 23, 2020
Vinod Nair, Sergey Bartunov, Felix Gimeno, Ingrid von Glehn, Pawel Lichocki, Ivan Lobov, Brendan O'Donoghue, Nicolas Sonnerat, Christian Tjandraatmadja, Pengming Wang, Ravichandra Addanki, Tharindi Hapuarachchi, Thomas Keck, James Keeling, Pushmeet Kohli, Ira Ktena, Yujia Li, Oriol Vinyals, Yori Zwols

Figure 1 for Solving Mixed Integer Programs Using Neural Networks
Figure 2 for Solving Mixed Integer Programs Using Neural Networks
Figure 3 for Solving Mixed Integer Programs Using Neural Networks
Figure 4 for Solving Mixed Integer Programs Using Neural Networks
Viaarxiv icon

Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving

Dec 04, 2019
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno

Figure 1 for Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
Viaarxiv icon

REGAL: Transfer Learning For Fast Optimization of Computation Graphs

May 30, 2019
Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals

Figure 1 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 2 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 3 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 4 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Viaarxiv icon

A Quantitative Evaluation Framework for Missing Value Imputation Algorithms

Nov 10, 2013
Vinod Nair, Rahul Kidambi, Sundararajan Sellamanickam, S. Sathiya Keerthi, Johannes Gehrke, Vijay Narayanan

Figure 1 for A Quantitative Evaluation Framework for Missing Value Imputation Algorithms
Figure 2 for A Quantitative Evaluation Framework for Missing Value Imputation Algorithms
Figure 3 for A Quantitative Evaluation Framework for Missing Value Imputation Algorithms
Figure 4 for A Quantitative Evaluation Framework for Missing Value Imputation Algorithms
Viaarxiv icon

A Structured Prediction Approach for Missing Value Imputation

Nov 09, 2013
Rahul Kidambi, Vinod Nair, Sundararajan Sellamanickam, S. Sathiya Keerthi

Figure 1 for A Structured Prediction Approach for Missing Value Imputation
Figure 2 for A Structured Prediction Approach for Missing Value Imputation
Viaarxiv icon