Adriana Schulz | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Brian Curless
6 publications
Zachary Tatlock
3 publications
Karl Willis
2 publications
Brett Saiki
1 publication
James Noeckel
1 publication
Yisu Remy Wang
1 publication
Amy Zhu
1 publication
Chandrakana Nandi
1 publication
Adam Anderson
1 publication
Max Willsey
1 publication
Dan Grossman
1 publication

research

∙ 08/02/2022

Mates2Motion: Learning How Mechanical CAD Assemblies Work

We describe our work on inferring the degrees of freedom between mated p...

0 James Noeckel, et al. ∙

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

Success!

An error occurred