Jianan Yao

CLN2INV: Learning Loop Invariants with Continuous Logic Networks pdf

Suman Jana, Gabriel Ryan, Justin Wong, 2019, ICLR.

Measurement of Quasi-Static 3-D Knee Joint Movement Based on the Registration From CT to US

Xuelong Li, Meng Li, Jianan Yao, 2020, IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control.

News Recommendation and Filter Bubble

Alexander G. Hauptmann, Jianan Yao, Alexander Hauptmann, 2018, CIKM Workshops.

A numerical study on the mechanism and optimization of wind-break structures for indirect air-cooling towers

Jianan Yao, Hongfang Gu, Haijun Wang, 2016 .

Learning nonlinear loop invariants with gated continuous logic networks

Suman Jana, Gabriel Ryan, Justin Wong, 2020, PLDI.

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts pdf

Jianan Yao, Ronghui Gu, Shaokai Lin, 2021, Memorial Volume for Shoucheng Zhang.

Gleipnir: toward practical error analysis for Quantum programs

Frederic T. Chong, Jianan Yao, Ronghui Gu, 2021, PLDI.