Federico Mora | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Sanjit A. Seshia
65 publications
Yixuan Li
57 publications
Elizabeth Polgreen
9 publications
Adwait Godbole
8 publications
Shaokai Lin
7 publications
Kevin Cheang
4 publications
Yatin A. Manerkar
4 publications
Pranav Gaddamadugu
3 publications
Kevin Laeufer
1 publication

research

∙ 06/01/2023

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis

Syntax-guided synthesis is a paradigm in program synthesis in which the ...

0 Yixuan Li, et al. ∙

research

∙ 08/07/2022

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

UCLID5 is a tool for the multi-modal formal modeling, verification, and ...

0 Elizabeth Polgreen, et al. ∙

research

∙ 07/14/2020

Synthesis in Uclid5

We describe an integration of program synthesis into Uclid5, a formal mo...

0 Federico Mora, et al. ∙

Success!

An error occurred