research
∙
02/11/2023
Languages with Decidable Learning: A Meta-theorem
We study expression learning problems with syntactic restrictions and in...
share
research
∙
11/05/2021
Learning Formulas in Finite Variable Logics
We consider grammar-restricted exact learning of formulas and terms in f...
research
∙
09/21/2020
Synthesizing Lemmas for Inductive Reasoning
Recursively defined structures and properties about them are naturally e...
research
∙
10/24/2019
What's Decidable About Program Verification Modulo Axioms?
We consider the decidability of the verification problem of programs mod...
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
A First Order Logic with Frames
We propose a novel logic, called Frame Logic (FL), that extends first-or...
research
∙
11/01/2018
Decidable Verification of Uninterpreted Programs
verifying uninterpreted programs---programs that work over arbitrary da...
research
∙
12/28/2017
Inferring Formal Properties of Production Key-Value Stores
Production distributed systems are challenging to formally verify, in pa...
research
∙
12/26/2017
Horn-ICE Learning for Synthesizing Invariants and Contracts
We design learning algorithms for synthesizing invariants using Horn imp...
research
∙
12/15/2017
Invariant Synthesis for Incomplete Verification Engines
We propose a framework for synthesizing inductive invariants for incompl...
research
∙
12/15/2017