Jianan Yao
- AutoVerus: Automated Proof Generation for Rust Code
2024/09/19 by Chenyuan Yang, X. Li, Yang, Chenyuan +23 · 12 citations
Agricultural and Biological Sciences · Engineering · #Plant Surface Properties and Treatments #Material Properties and Processing
- Leveraging Large Language Models for Automated Proof Synthesis in Rust
2023/11/07 by Jianan Yao, Ziqiao Zhou, Yao, Jianan +5 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Logic, programming, and type systems
- Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
2021/04/13 by Runzhou Tao, Yunong Shi, Tao, Runzhou +9 · 1 citation
Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum many-body systems
- Giallar: Push-Button Verification for the Qiskit Quantum Compiler
2022/05/02 by Runzhou Tao, Tao, Runzhou, Yunong Shi +13 · 1 citation
Computer Science · #Quantum Computing Algorithms and Architecture #Parallel Computing and Optimization Techniques #Logic, programming, and type systems