most citedAutoVerus: Automated Proof Generation for Rust Code

10 citations · 11 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2025

Tunable Automation in Automated Program Verification

Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada

Automated verification tools based on SMT solvers have made significant progress in verifying complex software systems. However, these tools face a fundamental tension between auto…

cs.SE2024★ 10 cited

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…