research
∙
02/09/2021
k-Equivalence Relations and Associated Algorithms
Lines and circles pose significant scalability challenges in synthetic g...
share
research
∙
12/21/2020
Universal Policies for Software-Defined MDPs
We introduce a new programming paradigm called oracle-guided decision pr...
research
∙
12/01/2020
Automatically Building Diagrams for Olympiad Geometry Problems
We present a method for automatically building diagrams for olympiad-lev...
research
∙
03/03/2020
Sealing Pointer-Based Optimizations Behind Pure Functions
Functional programming languages are particularly well-suited for buildi...
research
∙
01/13/2020
Tabled Typeclass Resolution
Typeclasses provide an elegant and effective way of managing ad-hoc poly...
research
∙
03/12/2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions
The NeuroSAT neural network architecture was recently introduced for pre...
research
∙
03/12/2019
NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions
The NeuroSAT neural network architecture was introduced for predicting p...
research
∙
03/12/2019
NeuroCore: Guiding CDCL with Unsat-Core Predictions
The NeuroSAT neural network architecture was recently introduced for pre...
research
∙
02/11/2018
Learning a SAT Solver from Single-Bit Supervision
We present NeuroSAT, a message passing neural network that learns to sol...
research
∙
06/26/2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Noisy data, non-convex objectives, model misspecification, and numerical...
research
∙
05/25/2016
Data Programming: Creating Large Training Sets, Quickly
Large labeled training sets are the critical building blocks of supervis...
research
∙
04/01/2014