Search: “software”

Type-Safe Is Not Error-Free: A Constrained Decision Head Follows the Option Name, Not the Rubric Bound to It

arXiv:2609.26758v2 Announce Type: replace Abstract: Typed decision models are built for settings where model outputs are consumed directly by software. Instead of generating free-form text, they retur

25 Sept 2026

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

Learn How to Act from Your Own Interactions: On-Policy Self-Distillation for GUI Agents

DGX agent

arXiv:2609.27307v1 Announce Type: new Abstract: Graphical User Interface (GUI) agents enable the fulfillment of complex user instructions through multi-turn interactions with software environments, re

model-releasesarxiv-cs-ai

24 Sept 2026

Hardware

Accelerating the Mitigation of LLM Inference Nondeterminism Across GPU Architectures

arXiv:2609.25624v1 Announce Type: cross Abstract: Large language model (LLM) outputs are expected to be reproducible under greedy decoding, yet in practice the same model, prompt, and software stack p

hardwarearxiv-cs-lg

23 Sept 2026

What is the Difference Between Me and You? Benchmarking the Quality Gap Between Human-Written and AI-Generated Code

arXiv:2609.12708v2 Announce Type: replace-cross Abstract: AI coding assistants are becoming co-authors of production software, yet their evaluation centers on functional correctness, leaving open whet

23 Sept 2026

ARID: A Deployable Edge AI System for Structured Information Extraction from Industrial Maintenance Work Orders

arXiv:2609.23582v1 Announce Type: new Abstract: Maintenance work orders must often be processed offline on embedded hardware, yet downstream software requires predictable structured output. We present

local-aiarxiv-cs-cl

22 Sept 2026

FLARE: A Full-Lifecycle Dense Supervision Paradigm for Long-Horizon Coding Agents via Generative Reward Model

arXiv:2609.23808v1 Announce Type: new Abstract: While test-time scaling enhances Large Language Model (LLM) agents in long-horizon software engineering (SWE), sparse binary rewards (Pass/Fail) create

safetyarxiv-cs-cl

22 Sept 2026

this-that-model-1.0: A typed decision model that decides in 30 ms, for a millionth of a cent

model-releasesarxiv-cs-cl

arXiv:2609.23886v1 Announce Type: new Abstract: Software delegates more of its branches to models every year: which queue a ticket enters, whether a command is safe to run, whether a claim clears with

22 Sept 2026

BI-Agent and BI-Bench: Towards Automating End-to-End Business Intelligence

arXiv:2609.20886v1 Announce Type: cross Abstract: Business intelligence (BI) is a cornerstone of enterprise decision-making and is widely used by enterprise users in software such as Power BI and Tabl

GameLogicBench: Evaluating Coding Agents on Runtime Game Logic with Tick-Level State Assertions

arXiv:2609.21562v1 Announce Type: cross Abstract: Coding agents can modify and test code across large software projects. Game development is a domain where agents must implement gameplay rules. A game

Programming AMD XDNA NPUs with Open-source Compiler Tools: A FlashAttention Case Study

model-releasesarxiv-cs-lg

arXiv:2609.21264v1 Announce Type: cross Abstract: Spatial NPUs such as AMD XDNA place compute tiles beside small local memories and leave data movement between them to software. Mapping a multi-stage

SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?

arXiv:2609.21190v1 Announce Type: cross Abstract: Ensuring the correctness of LLM-generated code is a core challenge for modern software engineering. Benchmarks for agentic code generation check corre

An Empirical Study of Harness Design for Coding Agents

arXiv:2609.20804v1 Announce Type: new Abstract: Coding harnesses shape how autonomous coding agents translate model capabilities into long-horizon software-engineering performance, yet existing work t

18 Sept 2026

Inference-Engine Fingerprinting Attacks are Practical: Exploring Model-Driven Environmental Discovery, Exploitation, and Escape

arXiv:2609.20614v1 Announce Type: cross Abstract: Frontier AI models are rapidly gaining the ability to exploit vulnerabilities in complex pieces of software. The risk is not theoretical, as evidenced

local-aiarxiv-cs-ai

18 Sept 2026

Affora: A Design System for Agent-Friendly Interfaces

arXiv:2609.19125v1 Announce Type: cross Abstract: Computer-use agents increasingly operate software designed for people, but interfaces often leave actions or task state unclear to machine readers. We

17 Sept 2026

Relationally Guided Use Case Modeling with LLMs

arXiv:2609.18291v1 Announce Type: cross Abstract: Use case flows are important elements of use case modeling because they support downstream software engineering activities, including requirements ana

researcharxiv-cs-cl

17 Sept 2026

EchoPath: Execution-Level Replayable Memory for GUI Agents

arXiv:2609.16635v1 Announce Type: new Abstract: Computer-use agents increasingly operate browsers, software, and desktop applications via CLI or API portals, but graphical user interface (GUI) still p

16 Sept 2026

Type-IV Code Clone Detection via Layer-Wise Non-Contrastive Representation Learning

arXiv:2609.17338v1 Announce Type: cross Abstract: Software clones are fragments of code that are similar or functionally equivalent to each other. They pose significant challenges for maintenance, ref

safetyarxiv-cs-lg

16 Sept 2026

BVB: Benchmarking Agentic Video Understanding via Programmatic Reconstruction in Blender

model-releasesarxiv-cs-cv

arXiv:2609.15478v1 Announce Type: new Abstract: Multimodal agents can create complex videos in software such as Blender by coding without relying on diffusion models. Yet video understanding benchmark

15 Sept 2026

Semantic Knowledge Technologies: what the Semantic Web lost sight of, and what it never had

arXiv:2609.14121v1 Announce Type: new Abstract: The Semantic Web set out to give information a machine-interpretable form so that software could integrate and reason over it. Its standards became scie

15 Sept 2026

Vulnerability Localization Benchmark: Measuring Agentic Security Analysis at Repository Scale

arXiv:2609.15939v1 Announce Type: cross Abstract: Language-model agents increasingly operate over complete software repositories, yet cybersecurity evaluations primarily measure whether they can detec

15 Sept 2026

Harness or Model? Isolating the Harness Effect in Agentic Coding with a Contamination-Controlled Private Suite

model-releasesarxiv-cs-cl

arXiv:2609.11987v1 Announce Type: cross Abstract: An agentic coding system couples a language model to a harness: the tools, prompts and control flow that turn a chat model into an autonomous software

14 Sept 2026

Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications

arXiv:2604.00280v2 Announce Type: replace-cross Abstract: Formal specifications play a central role in ensuring software reliability, yet automatically synthesizing high-quality specifications remains

11 Sept 2026

A Tool-Augmented, GPT-4 Chatbot for Real-Time Repository Data Analysis

arXiv:2609.07586v1 Announce Type: new Abstract: Software repositories contain vast amounts of data on code contributions, bug reports, and project activities, yet this information remains challenging

Experimental Analysis of Productive Interaction Strategy with ChatGPT: User Study on Function and Project-level Code Generation Tasks

arXiv:2508.04125v2 Announce Type: replace-cross Abstract: The application of Large Language Models (LLMs) is growing in the productive completion of Software Engineering tasks. Yet, studies investigat

FrogNano: Training a 4B Coding Agent via Online Task Synthesis

arXiv:2609.07925v2 Announce Type: new Abstract: We present FrogNano, a 4B coding agent designed to tackle software engineering (SWE) tasks efficiently and effectively, even under resource-constrained

Tutorials

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

arXiv:2503.19599v3 Announce Type: replace-cross Abstract: While software requirements are often expressed in natural language, verifying the correctness of a program against such requirements is a har

tutorialsarxiv-cs-ai

Quality Metrics for LLM-Generated Asset Administration Shells: A Perturbation-Based Evaluation Approach

arXiv:2609.07290v1 Announce Type: cross Abstract: The rapid digital transformation of manufacturing, often referred to as Industry 4.0, relies on seamless interoperability between physical and softwar

Applications

Context-Aware System Synthesis, Task Assignment, and Routing

arXiv:1706.04580v3 Announce Type: replace Abstract: The design and organization of complex robotic systems traditionally requires laborious trial-and-error processes to ensure both hardware and softwa

applicationsarxiv-cs-ro

9 Sept 2026

Atlas: Optimizing Deployment of Compound AI Workflows on Heterogeneous Clusters

arXiv:2609.04513v1 Announce Type: cross Abstract: Compound AI workflows are increasingly used to serve complex AI tasks by coordinating multiple AI models and software components. This approach enable

local-aiarxiv-cs-ai

au^au-Bench: An Environment for End-To-End, Realistic Agent Construction

arXiv:2609.04611v1 Announce Type: new Abstract: LLM agents are rapidly becoming production software, deployed to handle customer service, adjudicate disputes, and operate internal systems. Notably, th

Design Docs Are All You Need: An AI-native Machine-Learning Performance Tool

arXiv:2609.05364v1 Announce Type: cross Abstract: Machine-learning performance modeling is a uniquely hostile terrain for long-lived software: the assumptions baked into today's abstractions are inval

Impact of Data Loss in Postprocessing on Training and Inference of Quantum Neural Networks

model-releasesarxiv-cs-lg

arXiv:2609.05060v1 Announce Type: cross Abstract: As quantum hardware scales to larger devices, the classical software layers that interface with it must evolve in step. Postprocessing routines develo

PerfReasoning: How Well Do LLMs Reason on Hardware Performance?

arXiv:2609.04476v1 Announce Type: new Abstract: Performance modeling is central to hardware design and software optimization, yet constructing these models requires structured reasoning about computat

SoK: AI-Augmented Binary Reversing

arXiv:2606.17398v2 Announce Type: replace-cross Abstract: Binary reversing is fundamental to software understanding, vulnerability discovery, malware investigation, and firmware auditing. However, it

The History Is the Detector: Executing CVE Patch History, End-to-End

arXiv:2609.05335v1 Announce Type: cross Abstract: Public vulnerability databases collect rich information about known software flaws, including their weakness types, affected components, and related p

DNative-Twin: Decision Graphs and Digital Twins for Reconstructable Agentic Decisions

arXiv:2609.03787v1 Announce Type: new Abstract: AI agents increasingly gather evidence, invoke tools, apply constraints, and produce decisions that people or software may commit to action. A final out

4 Sept 2026

CodePoisonRAG: Knowledge Poisoning Attacks on Retrieval-Augmented Code Generation

arXiv:2609.02774v1 Announce Type: cross Abstract: Retrieval-Augmented Code Generation (RACG) improves LLM-based software development by retrieving external code artifacts, documentation, and patches,

safetyarxiv-cs-lg

OmegaUse-SOP: SOP Engineering for Professional Computer Use from Human Demonstrations

arXiv:2609.02149v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly evolving from conversational assistants into agents capable of operating external digital environments.

SSAKG 2.0: An Open-Source Package for Structural Associative Sequence Memory and Context-Based Retrieval

arXiv:2609.01849v1 Announce Type: new Abstract: This article presents SSAKG 2.0, an open-source software package for constructing and operating Structural Sequential Associative Knowledge Graphs (SSAK

ToolGate: An Executable Acceptance Pipeline for Tool-Dependent Scientific Benchmark Construction

arXiv:2609.02067v1 Announce Type: new Abstract: Scientific benchmarks are commonly built by domain experts who write tasks and cross-check one another's work, or who adapt existing material from textb

Behavior--Realization Separation for Constrained Physical Human--Robot Interaction

arXiv:2609.00669v1 Announce Type: new Abstract: Physical human--robot interaction software often couples desired-behavior specification with constrained realization; we treat these as separate layers.

local-aiarxiv-cs-ro

Efficient SWE Agent Benchmarking via Trajectory-Aware Evaluation

arXiv:2609.01603v1 Announce Type: cross Abstract: Evaluating software engineering agents on realistic benchmarks is costly, since each task may require multi-step code exploration, modification, and t

Predicting Program Exit Code with LLMs and Programming Language Semantics

arXiv:2609.00579v1 Announce Type: cross Abstract: Large language models (LLMs) have shown proficiency in various software engineering tasks, such as code generation and translation. However, a key lim

Runtime-Independent Persistent Agents: Preserving Identity, Memory, and Code Across Models, Harnesses, and Servers

arXiv:2609.00546v1 Announce Type: cross Abstract: Agent systems are commonly described by the model and harness that currently produce their behavior. That boundary is useful for one execution but und

Towards a Reliable and Practical Eval Pipeline

arXiv:2609.00805v1 Announce Type: new Abstract: LLM-based software systems increasingly require effective 'evals' as quality gates in the development lifecycle. However, existing work typically addres

Towards Agentic Cloud Engineering: Graph and Loop Engineering with a Zero-Trust Agent Harness

arXiv:2609.00050v1 Announce Type: cross Abstract: Agentic AI is enabling cloud-based workflows in which autonomous agents reason over operational state, invoke authorized tools, modify software and in

safetyarxiv-cs-ai

A^2Agent: Action-Aware Reinforcement Learning for Repository-Level Code Localization Agents

arXiv:2608.29831v1 Announce Type: new Abstract: Localizing issue-relevant code regions is a critical step in automated software engineering. However, due to their reliance on sparse trajectory-level s

local-aiarxiv-cs-cl

1 Sept 2026

ASTRA - Agentic System for Ticket Resolution and Analysis

arXiv:2608.28790v1 Announce Type: cross Abstract: Technical operations teams resolve large volumes of incidents by synthesizing fragmented evidence from ticket text, historical cases, system logs, and