research
∙
11/27/2022
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction
A central problem in computational biophysics is protein structure predi...
share
research
∙
09/21/2020
Synthesizing Lemmas for Inductive Reasoning
Recursively defined structures and properties about them are naturally e...
research
∙
10/22/2019
Decidable Synthesis of Programs with Uninterpreted Functions
We identify a decidable synthesis problem for a class of programs of unb...
research
∙
07/12/2019
Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning
We propose symbolic learning as extensions to standard inductive learnin...
research
∙
06/29/2019
Deciding Memory Safety for Forest Datastructures
Memory safety is the problem of determining if a heap manipulating progr...
research
∙
01/25/2019