Miraya Poddar-Agrawal | DeepAI

DeepAI

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

Featured Co-authors

Jason Gross
9 publications
Adam Chlipala
6 publications
Théo Zimmermann
6 publications
Andres Erbsen
3 publications
Jade Philipoom
2 publications

research

∙ 05/02/2022

Accelerating Verified-Compiler Development with a Verified Rewriting Engine

Compilers are a prime target for formal verification, since compiler bug...

0 Jason Gross, et al. ∙

research

∙ 02/28/2022

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq

As the adoption of proof assistants increases, there is a need for effic...

0 Jason Gross, et al. ∙