Copertina

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Luo, Weilin, Liang, Xueyi, Deng, Haotian, Liu, Yanan, Wan, Hai
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines
di: Wu, Yifan, et al.
Pubblicazione: (2026)

irace-evo: Automatic Algorithm Configuration Extended With LLM-Based Code Evolution
di: Sartori, Camilo Chacón, et al.
Pubblicazione: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
di: Cramer, Marcos, et al.
Pubblicazione: (2025)

CodeSift: An LLM-Based Reference-Less Framework for Automatic Code Validation
di: Aggarwal, Pooja, et al.
Pubblicazione: (2024)

AutoCodeBench: Large Language Models are Automatic Code Benchmark Generators
di: Chou, Jason, et al.
Pubblicazione: (2025)

Automatic Building Code Review: A Case Study
di: Wan, Hanlong, et al.
Pubblicazione: (2025)

CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning
di: Shi, Ji, et al.
Pubblicazione: (2026)

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

EvoCodeBench: A Human-Performance Benchmark for Self-Evolving LLM-Driven Coding Systems
di: Zhang, Wentao, et al.
Pubblicazione: (2026)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

SIEVE: Towards Verifiable Certification for Code-datasets
di: Mbodji, Fatou Ndiaye, et al.
Pubblicazione: (2025)

AutoP2C: An LLM-Based Agent Framework for Code Repository Generation from Multimodal Content in Academic Papers
di: Lin, Zijie, et al.
Pubblicazione: (2025)

AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
di: Goodfellow, Martin, et al.
Pubblicazione: (2025)

Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach
di: Wan, Yao, et al.
Pubblicazione: (2024)

Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
di: Dai, Yihan, et al.
Pubblicazione: (2025)

FrontendBench: A Benchmark for Evaluating LLMs on Front-End Development via Automatic Evaluation
di: Zhu, Hongda, et al.
Pubblicazione: (2025)

DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
di: Liang, Xiaoyun, et al.
Pubblicazione: (2024)

WybeCoder: Verified Imperative Code Generation
di: Gloeckle, Fabian, et al.
Pubblicazione: (2026)

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
di: Bai, Yifan, et al.
Pubblicazione: (2026)

AutoDroid: LLM-powered Task Automation in Android
di: Wen, Hao, et al.
Pubblicazione: (2023)

Stingy Context: 18:1 Hierarchical Code Compression for LLM Auto-Coding
di: Ostby, David Linus
Pubblicazione: (2026)

A Qualitative Investigation into LLM-Generated Multilingual Code Comments and Automatic Evaluation Metrics
di: Katzy, Jonathan, et al.
Pubblicazione: (2025)

Aletheia: What Makes RLVR For Code Verifiers Tick?
di: Venkatkrishna, Vatsal, et al.
Pubblicazione: (2026)

AutoCodeRover: Autonomous Program Improvement
di: Zhang, Yuntong, et al.
Pubblicazione: (2024)

ICE-Score: Instructing Large Language Models to Evaluate Code
di: Zhuo, Terry Yue
Pubblicazione: (2023)

Automatically Generating UI Code from Screenshot: A Divide-and-Conquer-Based Approach
di: Wan, Yuxuan, et al.
Pubblicazione: (2024)

Toward Automated and Trustworthy Scientific Analysis and Visualization with LLM-Generated Code
di: Chakroborti, Apu Kumar, et al.
Pubblicazione: (2025)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
di: Ebrahimi, Amir M., et al.
Pubblicazione: (2026)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
di: Li, Yikun, et al.
Pubblicazione: (2026)

Auto-SPT: Automating Semantic Preserving Transformations for Code
di: Hooda, Ashish, et al.
Pubblicazione: (2025)

Using Semantic Distance to Estimate Uncertainty in LLM-Based Code Generation
di: He, Weilin, et al.
Pubblicazione: (2026)

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

SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
di: Pham, Minh V. T., et al.
Pubblicazione: (2025)

AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
di: Nunez, Ana, et al.
Pubblicazione: (2024)

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
di: Zhu, Qiming, et al.
Pubblicazione: (2024)

AutoTest: Evolutionary Code Solution Selection with Test Cases
di: Duan, Zhihua, et al.
Pubblicazione: (2024)

Impact-driven Context Filtering For Cross-file Code Completion
di: Li, Yanzhou, et al.
Pubblicazione: (2025)

AutoFeedback: An LLM-based Framework for Efficient and Accurate API Request Generation
di: Liu, Huanxi, et al.
Pubblicazione: (2024)

Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting
di: Ye, Tong, et al.
Pubblicazione: (2024)

Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study
di: Nguyen, Hai-Duong, et al.
Pubblicazione: (2026)