research
∙
04/29/2023
Local Search for Integer Linear Programming
Integer linear programming models a wide range of practical combinatoria...
share
research
∙
07/26/2022
Finding Deep-Learning Compilation Bugs with NNSmith
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly u...
research
∙
06/20/2022
Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experiments
We develop a new, principled algorithm for estimating the contribution o...
research
∙
02/04/2019