research
∙
01/25/2023
Synthesis with Explicit Dependencies
Quantified Boolean Formulas (QBF) extend propositional logic with quanti...
share
research
∙
06/02/2022
A Scalable Shannon Entropy Estimator
We revisit the well-studied problem of estimating the Shannon entropy of...
research
∙
08/12/2021
Engineering an Efficient Boolean Functional Synthesis Engine
Given a Boolean specification between a set of inputs and outputs, the p...
research
∙
05/19/2021
Program Synthesis as Dependency Quantified Formula Modulo Theory
Given a specification φ(X,Y) over inputs X and output Y, defined over a ...
research
∙
05/14/2020