Search Results for author: Jianan Yao

Found 3 papers, 2 papers with code

Leveraging Large Language Models for Automated Proof Synthesis in Rust

no code implementations • 7 Nov 2023 • Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption.

Paper
Add Code

Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)

1 code implementation • 17 Mar 2020 • Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu

In this paper, we introduce a new neural architecture for general SMT learning, the Gated Continuous Logic Network (G-CLN), and apply it to nonlinear loop invariant learning.

Paper
Code

CLN2INV: Learning Loop Invariants with Continuous Logic Networks

1 code implementation • ICLR 2020 • Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana

We use CLNs to implement a new inference system for loop invariants, CLN2INV, that significantly outperforms existing approaches on the popular Code2Inv dataset.

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.