research
∙
10/30/2021
Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
Inferring inductive invariants is one of the main challenges of formal v...
share
research
∙
08/22/2020
Learning the Boundary of Inductive Invariants
We study the complexity of invariant inference and its connections to ex...
research
∙
09/26/2019
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Recent program synthesis techniques help users customize CAD models(e.g....
research
∙
09/26/2019
Using E-Graphs for CAD Parameter Inference
Computational fabrication is increasingly popular among end-users and ma...
research
∙
05/19/2019