research
∙
02/08/2022
Competition-Level Code Generation with AlphaCode
Programming is a powerful and ubiquitous problem-solving tool. Developin...
share
research
∙
03/04/2021
Perceiver: General Perception with Iterative Attention
Biological systems understand the world by simultaneously processing hig...
research
∙
12/23/2020
Solving Mixed Integer Programs Using Neural Networks
Mixed Integer Programming (MIP) solvers rely on an array of sophisticate...
research
∙
07/07/2020
Strong Generalization and Efficiency in Neural Programs
We study the problem of learning efficient algorithms that strongly gene...
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