Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2409.13082
Cited By
AutoVerus: Automated Proof Generation for Rust Code
19 September 2024
Chenyuan Yang
Xuheng Li
Md Rakib Hossain Misu
Jianan Yao
Weidong Cui
Yeyun Gong
Chris Hawblitzel
Shuvendu Lahiri
Jacob R. Lorch
Shuai Lu
Fan Yang
Ziqiao Zhou
Shan Lu
Re-assign community
ArXiv
PDF
HTML
Papers citing
"AutoVerus: Automated Proof Generation for Rust Code"
5 / 5 papers shown
Title
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Chenyuan Yang
Zijie Zhao
Zichen Xie
Haoyu Li
Lingming Zhang
65
0
0
12 Mar 2025
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
Quinn Dougherty
Ronak Mehta
ALM
51
0
0
08 Feb 2025
RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Sicheng Zhong
Jiading Zhu
Yifang Tian
Xujie Si
54
0
0
07 Feb 2025
Formal Mathematical Reasoning: A New Frontier in AI
Kaiyu Yang
Gabriel Poesia
Jingxuan He
Wenda Li
Kristin Lauter
Swarat Chaudhuri
Dawn Song
LRM
AI4CE
82
22
0
20 Dec 2024
Automated Proof Generation for Rust Code via Self-Evolution
Tianyu Chen
Shuai Lu
Shan Lu
Y. Gong
Chenyuan Yang
...
Peng Cheng
Fan Yang
Shuvendu Lahiri
Tao Xie
Lidong Zhou
47
7
0
21 Oct 2024
1
