Amanda Xu | DeepAI

DeepAI

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

Featured Co-authors

Aws Albarghouthi
27 publications
Nate Foster
12 publications
Swamit Tannu
7 publications
Abtin Molavi
3 publications
Alexander Chang
3 publications
Lauren Pick
3 publications
Ryan Doenges
2 publications
Samwise Parkinson
1 publication
Rudy Peterson
1 publication
Mina Tahmasbi Arashloo
1 publication
Santiago Bautista
1 publication

research

∙ 11/17/2022

Synthesizing Quantum-Circuit Optimizers

Near-term quantum computers are expected to work in an environment where...

0 Amanda Xu, et al. ∙

research

∙ 08/29/2022

Qubit Mapping and Routing via MaxSAT

Near-term quantum computers will operate in a noisy environment, without...

0 Abtin Molavi, et al. ∙

research

∙ 11/11/2020

Petr4: Formal Foundations for P4 Data Planes

P4 is a domain-specific language for programming and specifying packet-p...

0 Ryan Doenges, et al. ∙