Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2410.15756
Cited By
Automated Proof Generation for Rust Code via Self-Evolution
21 October 2024
Tianyu Chen
Shuai Lu
Shan Lu
Y. Gong
Chenyuan Yang
Xuheng Li
Md Rakib Hossain Misu
Hao Yu
Nan Duan
Peng Cheng
Fan Yang
Shuvendu Lahiri
Tao Xie
Lidong Zhou
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Automated Proof Generation for Rust Code via Self-Evolution"
3 / 3 papers shown
Title
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
Shangyu Li
Juyong Jiang
Tiancheng Zhao
Jiasi Shen
36
0
0
29 Apr 2025
Can LLMs Enable Verification in Mainstream Programming?
Aleksandr Shefer
Igor Engel
Stanislav Alekseev
Daniil Berezun
Ekaterina Verbitskaia
Anton Podkopaev
48
0
0
18 Mar 2025
RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Sicheng Zhong
Jiading Zhu
Yifang Tian
Xujie Si
42
0
0
07 Feb 2025
1
