Cover Image

Automated Proof Generation for Rust Code via Self-Evolution

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Chen, Tianyu, Lu, Shuai, Lu, Shan, Gong, Yeyun, Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yu, Hao, Duan, Nan, Cheng, Peng, Yang, Fan, Lahiri, Shuvendu K, Xie, Tao, Zhou, Lidong
Format: Preprint
Published: 2024
Subjects:
Software Engineering
Artificial Intelligence
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items