Imagen de Portada

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Di, Nongyu, Chen, Tianyu, Lu, Shan, Lu, Shuai, Gong, Yeyun, Cheng, Peng, Lorch, Jacob R., Yao, Yuan, Ma, Xiaoxing
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

AutoVerus: Automated Proof Generation for Rust Code
por: Yang, Chenyuan, et al.
Publicado: (2024)

Automated Proof Generation for Rust Code via Self-Evolution
por: Chen, Tianyu, et al.
Publicado: (2024)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
por: Yang, Chenyuan, et al.
Publicado: (2025)

Pull Requests as a Training Signal for Repo-Level Code Editing
por: Zhu, Qinglin, et al.
Publicado: (2026)

From Patches to Trajectories: Privileged Process Supervision for Software-Engineering Agents
por: Ma, Murong, et al.
Publicado: (2026)

Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging
por: Hua, Ziyue, et al.
Publicado: (2026)

Selene: Pioneering Automated Proof in Software Verification
por: Zhang, Lichen, et al.
Publicado: (2024)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
por: Cai, Xuemeng, et al.
Publicado: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
por: Liang, Linxi, et al.
Publicado: (2025)

Reducing Cost of LLM Agents with Trajectory Reduction
por: Xiao, Yuan-An, et al.
Publicado: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
por: Ou, Guangsheng, et al.
Publicado: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
por: Yan, Yanyan, et al.
Publicado: (2026)

RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
por: Xie, Yuchong, et al.
Publicado: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
por: Dehghan, Saman, et al.
Publicado: (2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
por: Jain, Rijul, et al.
Publicado: (2025)

Translating C To Rust: Lessons from a User Study
por: Li, Ruishi, et al.
Publicado: (2024)

The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model
por: Zhao, Zelin, et al.
Publicado: (2023)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
por: Yuan, Zhiqiang, et al.
Publicado: (2025)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
por: Cao, Weining, et al.
Publicado: (2026)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
por: Nitin, Vikram, et al.
Publicado: (2025)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
por: Jiang, Renshuang, et al.
Publicado: (2026)

Towards Modified Condition/Decision Coverage of Rust
por: Zaeske, Wanja, et al.
Publicado: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
por: Shiraishi, Momoko, et al.
Publicado: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
por: Bai, Yubo, et al.
Publicado: (2025)

Code Quality Analysis of Translations from C to Rust
por: Tadesse, Biruk, et al.
Publicado: (2026)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
por: Li, Tianyu, et al.
Publicado: (2025)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
por: Wang, Chaofan, et al.
Publicado: (2025)

An Interactive Debugger for Rust Trait Errors
por: Gray, Gavin, et al.
Publicado: (2025)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
por: Farrukh, Muhammad, et al.
Publicado: (2026)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
por: Hong, Jaemin, et al.
Publicado: (2024)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
por: Nitin, Vikram, et al.
Publicado: (2023)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
por: Luo, Feng, et al.
Publicado: (2025)

Documentation-Guided Agentic Codebase Migration from C to Rust
por: Le-Anh, Minh, et al.
Publicado: (2026)

Identifying Concurrency Bug Reports via Linguistic Patterns
por: Shao, Shuai, et al.
Publicado: (2026)

ICVul: A Well-labeled C/C++ Vulnerability Dataset with Comprehensive Metadata and VCCs
por: Lu, Chaomeng, et al.
Publicado: (2025)

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
por: Jiang, Renshuang, et al.
Publicado: (2025)

Scaling Down to Scale Up: A Cost-Benefit Analysis of Replacing OpenAI's LLM with Open Source SLMs in Production
por: Irugalbandara, Chandra, et al.
Publicado: (2023)

Task Abstention for Large Language Models in Code Generation
por: Zhou, Yanke, et al.
Publicado: (2026)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
por: Molz, Marius, et al.
Publicado: (2026)