most citedLeveraging Large Language Models for Automated Proof Synthesis in Rust

1 citations · 1 across the 1 of their papers we have counts for

collaborators

2 papers

cs.SE2024

AutoVerus: Automated Proof Generation for Rust Code

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu +10

Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generatio…

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…