conf.researchr.org / 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 Research Papers-track
PLDI 2020 Author of Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks within the PLDI Research Papers-track