:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Song, Linxin, Chen, Jiefeng, Huang, Yue, Mishra, Bhavana Dalvi, Wang, Chi, Zhao, Jieyu, Yoon, Jinsung, Pfister, Tomas
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Computation and Language
Online Access:	https://arxiv.org/abs/2605.29054
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FormulaCode: Evaluating Agentic Optimization on Large Codebases
by: Sehgal, Atharva, et al.
Published: (2026)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

SWE-CI: Evaluating Agent Capabilities in Maintaining Codebases via Continuous Integration
by: Chen, Jialong, et al.
Published: (2026)

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

FairCoder: Evaluating Social Bias of LLMs in Code Generation
by: Du, Yongkang, et al.
Published: (2025)

RPG: A Repository Planning Graph for Unified and Scalable Codebase Generation
by: Luo, Jane, et al.
Published: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
by: Arquint, Linard, et al.
Published: (2025)

Proving Cypher Query Equivalence
by: Tang, Lei, et al.
Published: (2025)

SWE-Adept: An LLM-Based Agentic Framework for Deep Codebase Analysis and Structured Issue Resolution
by: He, Kang, et al.
Published: (2026)

What can Large Language Models Capture about Code Functional Equivalence?
by: Maveli, Nickil, et al.
Published: (2024)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
by: Luo, Junjie, et al.
Published: (2026)

Confucius Code Agent: Scalable Agent Scaffolding for Real-World Codebases
by: Wong, Sherman, et al.
Published: (2025)

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

An Empirical Evaluation of Manually Created Equivalent Mutants
by: Straubinger, Philipp, et al.
Published: (2024)

Refactoring Codebases through Library Design
by: Kovacic, Ziga, et al.
Published: (2025)

Large Language Models for Equivalent Mutant Detection: How Far Are We?
by: Tian, Zhao, et al.
Published: (2024)

Disproving Program Equivalence with LLMs
by: Allamanis, Miltiadis, et al.
Published: (2025)

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

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
by: Dacík, Tomáš, et al.
Published: (2025)

TestExplora: Benchmarking LLMs for Proactive Bug Discovery via Repository-Level Test Generation
by: Liu, Steven, et al.
Published: (2026)

Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval
by: Wu, Jiarong, et al.
Published: (2025)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
by: Long, Peixun, et al.
Published: (2023)

Prometheus: Towards Long-Horizon Codebase Navigation for Repository-Level Problem Solving
by: Pan, Yue, et al.
Published: (2025)

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
by: Wu, Jingwen, et al.
Published: (2025)

ScientistOne: Towards Human-Level Autonomous Research via Chain-of-Evidence
by: Meng, Rui, et al.
Published: (2026)

MetaTool Benchmark for Large Language Models: Deciding Whether to Use Tools and Which to Use
by: Huang, Yue, et al.
Published: (2023)

EvoCodeBench: An Evolving Code Generation Benchmark with Domain-Specific Evaluations
by: Li, Jia, et al.
Published: (2024)

ConvCodeWorld: Benchmarking Conversational Code Generation in Reproducible Feedback Environments
by: Han, Hojae, et al.
Published: (2025)

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
by: Zhu, Wang Bill, et al.
Published: (2026)

SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Training
by: Song, Huatong, et al.
Published: (2026)

Codified Context: Infrastructure for AI Agents in a Complex Codebase
by: Vasilopoulos, Aristidis
Published: (2026)

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

EffiBench: Benchmarking the Efficiency of Automatically Generated Code
by: Huang, Dong, et al.
Published: (2024)

ToolMATH: A Diagnostic Benchmark for Long-Horizon Tool Use under Systematic Tool-Catalog Constraints
by: Choi, Hyeonje, et al.
Published: (2026)

DependEval: Benchmarking LLMs for Repository Dependency Understanding
by: Du, Junjia, et al.
Published: (2025)

ContextEcho: A Benchmark for Persona Drift in Long Agentic-Coding Sessions
by: Ding, Xianzhong, et al.
Published: (2026)