Brett Saiki | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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

Success!

An error occurred