1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Detecting Buggy Contracts via Smart Testing
Sally Junsong Wang, Jianan Yao, Kexin Pei +2
Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerge…
cs.FL2023★ 1 cited
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen +1
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption. Recently, Large Language Mode…