Philip Zucker | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Zachary Tatlock
25 publications
Max Willsey
13 publications
Ramana Kumar
12 publications
Yisu Remy Wang
11 publications
Yihong Zhang
7 publications
James Koppel
6 publications
Oliver Flatt
5 publications
David Cao
3 publications
Patrick Schultz
2 publications
Gregory Malecha
2 publications
Gopal Sarma
1 publication

research

∙ 04/10/2023

Better Together: Unifying Datalog and Equality Saturation

We present egglog, a fixpoint reasoning system that unifies Datalog and ...

0 Yihong Zhang, et al. ∙

research

∙ 04/01/2021

Formal Methods for the Informal Engineer: Workshop Recommendations

Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...

12 Gopal Sarma, et al. ∙