Cover Image

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baksys, Mantas, Zetzsche, Stefan, Bouissou, Olivier, Delmas, Remi, Kong, Soonho, Holden, Sean B.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
by: Banerjee, Debangshu, et al.
Published: (2026)

MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
by: Baksys, Mantas, et al.
Published: (2025)

WybeCoder: Verified Imperative Code Generation
by: Gloeckle, Fabian, et al.
Published: (2026)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
by: Sevenhuijsen, Merlijn, et al.
Published: (2024)

Code Linting using Language Models
by: Holden, Darren, et al.
Published: (2024)

FormalRTL: Verified RTL Synthesis at Scale
by: Li, Kezhi, et al.
Published: (2026)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
by: Thakur, Amitayush, et al.
Published: (2025)

Tokalator: A Context Engineering Toolkit for Artificial Intelligence Coding Assistants
by: Farajijobehdar, Vahid, et al.
Published: (2026)

CodeScore-R: An Automated Robustness Metric for Assessing the FunctionalCorrectness of Code Synthesis
by: Yang, Guang, et al.
Published: (2024)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
by: Zhang, Kechi, et al.
Published: (2024)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
by: Tang, Lingxiao, et al.
Published: (2026)

Automated Harmfulness Testing for Code Large Language Models
by: Tan, Honghao, et al.
Published: (2025)

Dafny as Verification-Aware Intermediate Language for Code Generation
by: Li, Yue Chen, et al.
Published: (2025)

ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs
by: Chowdhury, Jaid Monwar, et al.
Published: (2025)

Governing the Commons: Code Ownership and Code-Clones in Large-Scale Software Development
by: Sundelin, Anders, et al.
Published: (2024)

Verify Implementation Equivalence of Large Models
by: Zhan, Qi, et al.
Published: (2026)

Automated Classification of Human Code Review Comments with Large Language Models
by: Çağlar, Semih, et al.
Published: (2026)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
by: Deng, Xun, et al.
Published: (2025)

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit
by: Wan, Yao, et al.
Published: (2023)

UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs
by: Gui, Yi, et al.
Published: (2025)

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

Darkit: A User-Friendly Software Toolkit for Spiking Large Language Model
by: Du, Xin, et al.
Published: (2024)

CRScore++: Reinforcement Learning with Verifiable Tool and AI Feedback for Code Review
by: Kapadnis, Manav Nitin, et al.
Published: (2025)

TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
by: Li, Siyuan, et al.
Published: (2024)

Automated Code Review In Practice
by: Cihan, Umut, et al.
Published: (2024)

Fine-Tuning and Prompt Engineering for Large Language Models-based Code Review Automation
by: Pornprasit, Chanathip, et al.
Published: (2024)

Towards Verified Code Reasoning by LLMs
by: Sistla, Meghana, et al.
Published: (2025)

Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation
by: Lin, Zi, et al.
Published: (2025)

Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases
by: Zheng, Yusheng, et al.
Published: (2024)

PSD2Code: Automated Front-End Code Generation from Design Files via Multimodal Large Language Models
by: Chen, Yongxi, et al.
Published: (2025)

Figma2Code: Automating Multimodal Design to Code in the Wild
by: Gui, Yi, et al.
Published: (2026)

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
by: Kószó, Dávid, et al.
Published: (2025)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
by: Wang, Zhongyi, et al.
Published: (2025)

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

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
by: Menezes, Rafael Sá, et al.
Published: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
by: Bedell, Sarah, et al.
Published: (2026)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
by: Chi, Jianlei, et al.
Published: (2024)

Detect Repair Verify for Securing LLM Generated Code: A Multi-Language Empirical Study
by: Cheng, Cheng
Published: (2026)