Brett Saiki | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Zachary Tatlock
25 publications
Max Willsey
13 publications
Yisu Remy Wang
11 publications
Adriana Schulz
11 publications
Pavel Panchekha
10 publications
Chandrakana Nandi
8 publications
Eunice Jun
5 publications
Dan Grossman
5 publications
Amy Zhu
4 publications
Adam Anderson
3 publications
Caleb C. Chan
1 publication

research

∙ 05/17/2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

In recent years, researchers have proposed a number of automated tools t...

0 Edward Misback, 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. ∙