Jianan Yao -

Not registered as user yet

Name:Jianan Yao

Affiliation:Columbia University, USA

Contributions

PLDI 2021	Author of Gleipnir: Toward Practical Error Analysis for Quantum Programs within the PLDI-track
PLDI 2020	Author of Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks within the PLDI Research Papers-track