Adam Anderson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Zachary Tatlock
25 publications
Eva Darulova
13 publications
Max Willsey
13 publications
Yisu Remy Wang
11 publications
Adriana Schulz
11 publications
Chandrakana Nandi
8 publications
James R. Wilcox
5 publications
Dan Grossman
5 publications
Amy Zhu
4 publications
Brett Saiki
2 publications

research

∙ 08/23/2021

Rewrite Rule Inference Using Equality Saturation

Many compilers, synthesizers, and theorem provers rely on rewrite rules ...

0 Chandrakana Nandi, et al. ∙

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....

0 Chandrakana Nandi, et al. ∙

research

∙ 09/26/2019

Using E-Graphs for CAD Parameter Inference

Computational fabrication is increasingly popular among end-users and ma...

0 Chandrakana Nandi, et al. ∙