← Back to arXiv Software Engineering

arXiv Software Engineering briefings

ResearchOfficialarXiv Software Engineering

CLOSER-Bench: A Benchmark for Budgeted Cross-Stage Hardware Design Closure by AI Agents

CLOSER-Bench is a new benchmark designed to evaluate AI agents on the complex task of hardware design closure across multiple stages, including RTL, synthesis, and physical design. The benchmark introduces a controlled protocol that measures agent performance on tasks spanning from specification to GDS, capturing both final quality and intermediate progress. Initial experiments reveal a significant gap between task completion and achieving full design closure, highlighting the limitations of current approaches and motivating the need for sequential decision-making strategies.

Why it matters: CLOSER-Bench provides a unified and rigorous framework for assessing AI agents on long-horizon, multi-stage hardware engineering tasks, addressing a key challenge in automating hardware design workflows.

ResearchOfficialarXiv Software Engineering

Teach it to stop, not just to click: Reproducibility and repair in agentic computer-use RL

A preprint investigates reproducibility in reinforcement learning for agentic computer-use, focusing on a 35B-parameter agent. The study finds that single-run evaluations are unreliable due to high variance from data sampling and nondeterminism, with evaluation variance itself being negligible. Repairability is shown to be two-tiered: fixed-token interventions are reliably effective, while open-ended corrections are only partially successful. The authors also release a library to facilitate routine multi-seed evaluation reporting.

Why it matters: This work exposes critical reproducibility challenges in agentic RL and introduces practical tools and analysis for more reliable evaluation and repair of computer-use agents.

ResearchOfficialarXiv Software Engineering

Beyond Visibility and Technical Reuse: Public Application Transformation in Open-Source Model Ecosystems

A new preprint introduces 'public application transformation' as a novel metric for assessing the impact of open-source AI models on the Hugging Face platform. Analyzing 2.56 million model repositories and 1.06 million Spaces, the study finds that only a small fraction of models are linked to public applications, and that this transformation is distinct from technical reuse or platform visibility. The research highlights that application transformation is highly selective and concentrated among a limited set of models.

Why it matters: This work proposes a new framework for evaluating the real-world impact of open-source AI models, moving beyond traditional metrics like downloads or technical reuse.

ResearchOfficialarXiv Software Engineering

Large-Scale Analysis Reveals Documentation Gaps in Hugging Face Model Repositories

A large-scale study of approximately 97,500 Hugging Face model repositories assessed the completeness of AI Bill of Materials (AIBOM) documentation. While the structural and required metadata fields of AIBOMs are generally present, the study found that critical AI-specific documentation—such as model-card details, limitations, safety-risk assessments, and environmental information—is often missing or incomplete. The research highlights variability in documentation coverage across different repository characteristics and calls for improved model-card practices and automated validation.

Why it matters: Systemic gaps in AI model documentation could undermine transparency and responsible governance in the AI supply chain.

ResearchOfficialarXiv Software Engineering

Specifying the Delegated-Autonomy Boundary: Requirements Engineering for Agentic AI

A new framework for requirements engineering in agentic AI systems is introduced, centered on the concept of the delegated-autonomy boundary—the decisions about what tasks may be delegated to AI, under what authority, and with what oversight. The paper proposes two artifacts: the Agency Justification Record (AJR), which helps determine when agentic AI is appropriate, and the Agentic Delegation Policy (ADP), which specifies the scope and limits of delegated authority in a structured, graduated manner. The approach is illustrated with examples from healthcare and software engineering.

Why it matters: This work offers a systematic method for defining and documenting the boundaries of autonomy in agentic AI, addressing a key gap in current requirements engineering practices.

ResearchOfficialarXiv Software Engineering

DataFlow-Harness: A Platform for Editable LLM Data Pipelines

DataFlow-Harness is a platform that enables large language model (LLM) agents to construct editable, platform-native data pipelines as directed acyclic graphs (DAGs), rather than generating free-form scripts. On a 12-task data-engineering benchmark, it achieved a 93.3% end-to-end pass rate, while reducing monetary cost by 72.5% and latency by 49.9% compared to Vanilla Claude Code. The platform's approach maintains reliability close to script-generation baselines but with significantly improved efficiency.

Why it matters: This work demonstrates a practical advance in LLM-driven workflow automation, enabling persistent and editable pipeline artifacts with high reliability and substantially lower cost and latency.

ResearchOfficialarXiv Software Engineering

CommitLLM: Pipeline with Fine-Tuned Mistral-7B Generates Concise, Compliant Git Commit Messages

CommitLLM is a three-stage pipeline that generates concise, Conventional Commits-compliant messages from code diffs using a fine-tuned Mistral-7B model. The system combines QLoRA fine-tuning, constrained decoding, and deterministic post-processing, achieving 98% format compliance and reducing average output length from 154.8 to 37.9 characters. Evaluation shows that post-processing contributes more to quality improvement than fine-tuning alone, and the system runs on a single consumer GPU.

Why it matters: This work demonstrates that combining a small LLM with deterministic post-processing can outperform fine-tuning alone for structured-output tasks, making high-quality commit message generation feasible on consumer hardware.

ResearchOfficialarXiv Software Engineering

CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation

Researchers have introduced CodeCoR, a multi-agent framework for code generation that employs four large language model (LLM) agents to generate prompts, code, test cases, and repair advice. By pruning low-quality outputs at each stage, CodeCoR aims to reduce error propagation in sequential code generation workflows. Experiments on HumanEval and MBPP datasets show that CodeCoR achieves an average Pass@1 score of 77.13%, outperforming existing baselines.

Why it matters: This work demonstrates a significant advance in code generation reliability by integrating self-reflection and output pruning in a multi-agent LLM framework, addressing a key limitation of sequential LLM-based approaches.

ResearchOfficialarXiv Software Engineering

AutoSpec: Automated Generation of Neural Network Specifications

AutoSpec is a framework that automatically generates and evaluates neural network specifications for learning-augmented systems, particularly in safety-critical domains. It uses a tree-based algorithm to partition the input space and a statistical certification framework to provide accuracy guarantees for each specification. Experiments across four applications show that AutoSpec improves F1 score by up to 53% over human-defined specifications and 73% over the strongest baseline.

Why it matters: This work automates the specification process in neural network verification, addressing a key bottleneck and making formal safety guarantees more practical for learning-augmented systems.

ResearchOfficialarXiv Software Engineering

Attention to Detail: Evaluating Energy, Performance, and Accuracy Trade-offs Across vLLM Configurations

A large-scale empirical study examines how different vLLM inference engine configurations—specifically attention kernel type, prefix caching, and chunked prefill—affect energy consumption, latency, and accuracy across multiple open-weight LLMs and tasks. The findings show that attention kernel type and prefix caching have significant impacts on energy and performance, while chunked prefill has limited effect under default settings. The optimal configuration is highly dependent on the specific model and workload, with no single configuration performing best in all scenarios.

Why it matters: This research provides practical guidance for optimizing LLM inference deployments, demonstrating that while configuration tuning can yield local improvements, the choice of model has a greater overall impact on trade-offs between energy, performance, and accuracy.

ResearchOfficialarXiv Software Engineering

Empirical Study Identifies Agent-Reactive Bugs at the Model-Harness Boundary in LLM Agents

A new empirical study analyzes 255 bug reports from Codex, Gemini-CLI, LangChain, and CrewAI, introducing a new class of bugs termed agent-reactive (AR) bugs that arise at the interface between LLM model outputs and harness code. These AR bugs often manifest as silent errors without clear test oracles, and their reproduction is complicated by the stochastic nature of LLM responses. The study also finds a mismatch between user-proposed fixes, which often suggest harness-side guardrails, and developer responses.

Why it matters: This research exposes a critical challenge in LLM agent reliability, emphasizing the need for new testing and debugging tools to address bugs that emerge from the interaction between model and harness.

ResearchOfficialarXiv Software Engineering

Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization

A new preprint investigates token-level reduction techniques to lower computational costs in large language model (LLM)-based code summarization. The study finds that optimal token reduction strategies are highly language-dependent: AST-based reduction improves Java summarization performance by 37% but degrades Python by up to 49%, while CrystalBLEU-guided pruning achieves robust cross-language token reduction of 60-72%. Function signature-based reduction is optimal for Python, achieving 83% token reduction while maintaining summary quality.

Why it matters: The work demonstrates that language-aware token curation is crucial for efficient code summarization, challenging assumptions about the transferability of token reduction strategies across programming languages.

ResearchOfficialarXiv Software Engineering

NexForge: Requirement-Driven Task Synthesis Scales LLM Agent Capabilities

NexForge is a framework that automatically synthesizes diverse, executable agent tasks and expert trajectories from high-level capability requirements, removing the need for domain-specific infrastructure. The system generated thousands of terminal and office tasks, significantly improving the performance of Qwen3.5-35B-A3B on benchmarks such as Terminal-Bench 2.0 and GDPval. Scaling up to 43,200 tasks enabled the training of Nex-N2 models, which achieve state-of-the-art open-source results and surpass several proprietary systems.

Why it matters: NexForge demonstrates a scalable approach to expanding LLM agent capabilities by automating task synthesis from requirements, reducing manual engineering and enabling broader domain coverage.

ResearchOfficialarXiv Software Engineering

MoT: Modularization-of-Thought Prompting for Effective Code Generation

A new prompting technique called MoT (Modularization of Thought) has been proposed to improve code generation by large language models. MoT decomposes complex programming problems into smaller, independent reasoning steps using a Multi-Level Reasoning Graph, enabling a more structured and interpretable approach. Experiments with GPT-4o-mini and DeepSeek-R1 on eight benchmarks show that MoT outperforms existing methods like Chain-of-Thought, with Pass@1 scores between 58.1% and 95.1%.

Why it matters: MoT could enhance the ability of language models to solve complex programming tasks by providing a more modular and interpretable reasoning process.

ResearchOfficialarXiv Software Engineering

TARS: A Theory-of-Mind Agent for Personalized In-IDE Code Comprehension

TARS is an LLM-powered agent integrated into Visual Studio Code that adapts code explanations to a developer's expertise, role, and preferences using a Theory of Mind paradigm. In a controlled experiment with 18 participants, TARS users completed code comprehension tasks 26% faster and reported lower cognitive load compared to a baseline.

Why it matters: This work provides evidence that personalized, in-IDE AI assistance can improve developer productivity and reduce cognitive burden.

ResearchOfficialarXiv Software Engineering

CLI-Tool-Bench: Benchmark Shows LLMs Struggle with End-to-End CLI Tool Generation

Researchers have introduced CLI-Tool-Bench, a new benchmark designed to evaluate large language models' (LLMs) ability to autonomously generate complete command-line interface (CLI) tools from scratch. The benchmark uses black-box differential testing on 94 real-world tasks, requiring models to plan and implement entire repositories without scaffolding. Top-performing LLMs achieved only a 43.8% success rate, underscoring the difficulty of 0-to-1 software generation.

Why it matters: This work highlights a significant gap in current LLM capabilities for fully autonomous software creation, which is crucial for the development of advanced coding agents.

ResearchOfficialarXiv Software Engineering

EvalSafetyGap: A Hybrid Survey and Conceptual Framework for LLM Evaluation-Safety Failures

This preprint introduces EvalSafetyGap, a conceptual framework for analyzing failures in large language model (LLM) evaluation and safety under optimization pressure. The authors combine a hybrid survey of eight evidence streams from 2018-2026 with a structured audit of ten LLMs, finding that the link between model capability and adversarial robustness is statistically indeterminate. The study also finds that the observed safety gap between open and closed models is modest and primarily influenced by governance and disclosure practices rather than behavioral robustness.

Why it matters: EvalSafetyGap provides a shared vocabulary and evidence map to improve dynamic evaluation, transparent reporting, and auditable alignment practices in LLM safety research.

ResearchOfficialarXiv Software Engineering

Audit Reveals Flaws in Coding Agent Performance Benchmarks

A new audit of three repository-level performance-optimization benchmarks (GSO, SWE-Perf, SWE-fficiency) finds that leaderboard scores are affected by runtime instability, benchmark-specific scoring rules, and task saturation. The study shows that only a subset of reference patches remain valid across different machines, and that public submission rankings often disagree depending on the scoring rule. Aggregate rankings, the authors argue, can obscure significant performance differences between coding agents.

Why it matters: This research raises concerns about the reliability of widely used benchmarks for evaluating coding agents, suggesting that current metrics may misrepresent actual progress in AI-assisted software optimization.

ResearchOfficialarXiv Software Engineering

FirmPilot: Multi-Agent Framework Significantly Improves IoT Firmware Rehosting

FirmPilot is an evidence-guided multi-agent framework designed to enhance IoT firmware rehosting by iteratively recovering boot, state, and network artifacts. In evaluations on the LFwC corpus, FirmPilot increased web-service reachability from 25.49% to 52.39% and network reachability from 39.30% to 71.93% compared to the prior FirmAE system. The framework also raised the average number of detected services per firmware and enabled downstream analysis workflows such as RouterSploit interaction and protocol-aware fuzzing.

Why it matters: This work represents a substantial advance in automated IoT firmware analysis, improving the reliability and scalability of dynamic analysis for security testing and vulnerability discovery.

ResearchOfficialarXiv Software Engineering

The Test Oracle Problem in Synthetic LLM-as-Judge Corpora: Disappearance, Distortion, and a Validation Protocol

A new study identifies a structural vulnerability in synthetic corpora used for evaluating bias in LLM-as-judge systems. The authors document how a shared decoding parameter led to truncated, hallucinated answers in a multilingual faithfulness-judgment corpus, causing a spurious 32-point drop in cross-lingual accuracy that disappeared after correcting the parameter. They show that such silent generation failures can create misleading statistical effects and propose a validation protocol to address these issues in oracle-less corpora.

Why it matters: This work highlights a critical flaw in synthetic benchmark construction for LLM-as-judge evaluations, showing that undetected generation failures can produce false bias measurements and undermine the reliability of such studies.