Yi Lee | DeepAI

DeepAI

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

Featured Co-authors

Xiaodi Wu
21 publications
Kai-Min Chung
18 publications
Liyi Li
8 publications
Han-Hsuan Lin
8 publications
Le Chang
4 publications
Hung Yueh Chiang
4 publications
Mingwei Zhu
3 publications
Chia-Hsiang Liu
3 publications
Kai-Chiang Wu
2 publications
Yu-Shin Han
1 publication
Yuan-Yao Sung
1 publication

research

∙ 11/11/2022

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification

Many quantum programs are assured by formal verification, but such verif...

0 Liyi Li, et al. ∙

research

∙ 08/14/2021

FOX-NAS: Fast, On-device and Explainable Neural Architecture Search

Neural architecture search can discover neural networks with good perfor...

0 Chia-Hsiang Liu, et al. ∙

research

∙ 12/09/2020

Constant-round Blind Classical Verification of Quantum Sampling

In a recent breakthrough, Mahadev constructed a classical verification o...

0 Kai-Min Chung, et al. ∙