Victor Dumitrescu | DeepAI

DeepAI

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

Featured Co-authors

Catalin Hritcu
15 publications
Aseem Rastogi
12 publications
Danel Ahman
10 publications
Jonathan Protzenko
6 publications
Nikhil Swamy
5 publications
Guido Martínez
5 publications
Monal Narasimhamurthy
3 publications
Clément Pit--Claudel
3 publications
Nick Giannarakis
2 publications
Chris Hawblitzel
2 publications
Zoe Paraskevopoulou
2 publications

research

∙ 03/17/2018

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Scripting proofs with tactics has been a tradition in interactive theore...

0 Guido Martínez, et al. ∙

research

∙ 03/17/2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier

Verification tools for effectful programming languages often rely on aut...

0 Guido Martínez, et al. ∙