Search: “software”

Work2Skill: Capturing Human GUI Experience for Reusable Agent Skill Induction

arXiv:2610.12984v1 Announce Type: new Abstract: Computer-use agents can perform increasingly complex GUI tasks, yet unfamiliar software and workflows requiring human domain knowledge remain challengin

12 Oct 2026

Applications

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

The hidden tax on enterprise AI: Why data architecture is the ROI problem nobody budgeted for

DGX agent

Many large companies have spent the past few years investing in artificial intelligence infrastructure, software and implementation. Boards approved the plans. Finance built the business cases. Procur

applicationssiliconangle

11 Oct 2026

CAFE: Causal Black-Box Testing of Machine Unlearning

arXiv:2509.16525v2 Announce Type: replace-cross Abstract: Machine learning models are increasingly deployed as software components that must evolve as requirements change. When specific training recor

researcharxiv-cs-ai

DCVD: Dual-Channel Cross-Modal Fusion for Joint Vulnerability Detection and Localization

arXiv:2605.11015v2 Announce Type: replace-cross Abstract: Software vulnerability detection plays a critical role in ensuring system security, where real-world auditing requires not only determining wh

Forms of LLM-Integrated Applications from LLM-Chats to Autonomous AI Agent System

arXiv:2610.11899v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly embedded as components in software systems, marketed under labels such as chatbot, copilot, retrieval-au

Interpretable Memory Models for Spaced Repetition

arXiv:2610.10548v1 Announce Type: cross Abstract: Spaced repetition software schedules reviews with a memory model fit to review logs. Accuracy on a test set is not sufficient evidence of quality sinc

researcharxiv-cs-lg

MAP4CS: A Multi-dimensional Data Pruning Framework for Efficient Code Retriever Fine-tuning

arXiv:2610.11727v1 Announce Type: cross Abstract: Retrieval-Augmented Generation (RAG) has become a cornerstone in software engineering for enhancing Large Language Models (LLMs) with domain-specific

researcharxiv-cs-ai

MemTrace: State-Consistent Memory for Long-Horizon Coding Agents

arXiv:2610.04838v2 Announce Type: replace Abstract: As coding agents take on long-horizon software evolution tasks spanning multiple files and stages, longer execution trajectories introduce two coupl

On the estimation and validity of AI time horizons---a statistical look at the METR plot

arXiv:2610.12466v1 Announce Type: new Abstract: METR's 50% time horizon measures the human completion time of software tasks that an AI solves with 50% probability, allowing AI capabilities to be expr

researcharxiv-cs-ai

Industry

OpenAI revenue falls short, models play hopscotch and Trump cracks down on tech green cards

I’m not going to call the bursting of artificial intelligence bubble yet, not with all that money still pouring into every hardware and software company with AI in their pitch decks. But we got a litt

industrysiliconangle

Runnable Commit Untangling for Coding Agents

arXiv:2610.11593v1 Announce Type: cross Abstract: Coding agents produce large, tangled patches that mix multiple development purposes, making the code hard to review and maintain. Commit untangling of

TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution

arXiv:2610.10619v1 Announce Type: cross Abstract: Large language model (LLM) agents are rapidly reshaping software engineering, accompanied by an explosion of new code benchmarks. Yet nearly all exist

A Framework for the Systematic Review of ML Assets in AI Registries

arXiv:2610.09551v1 Announce Type: new Abstract: Background: Modern software systems increasingly rely on Machine Learning (ML) assets (i.e., pre-trained models, datasets, benchmarks) for building, eva

safetyarxiv-cs-lg

Hardware

Accelerating Floating-Point Satisfiability Solving via Gradient Normalization

arXiv:2610.08808v1 Announce Type: cross Abstract: Satisfiability Modulo Theories (SMT) solvers are foundational to software verification, program analysis, and compiler testing, particularly over the

hardwarearxiv-cs-lg

Coding-Agent Benchmarks Should Match Their Users' Task Flows

model-releasesarxiv-cs-cl

arXiv:2610.09633v1 Announce Type: cross Abstract: The evaluation of coding agents generally strives to be as realistic as possible. In our study, we collect 4,782 agent sessions of real software engin

Lakebase and Agentic SDLC: Branching Databases for Coding Agents

Lakebase provides database‐branching functionality that lets coding agents work on isolated data copies during the agentic software development life cycle (SDLC). Each branch gives an agent its own sa

agentsdatabricks

Local Ai

Liquid AI builds personal AI around device-level context

On-device personal AI requires models and agent software that can operate within fixed hardware limits. Developers also need ways to keep those systems improving after deployment. Model builders are r

local-aisiliconangle

Applications

Beyond Marginals: A Multi-Dimensional Evaluation Framework for Multi-Table Synthetic Data Generation

arXiv:2610.06854v1 Announce Type: cross Abstract: Synthetic data generation is critical for privacy compliance, machine learning augmentation, and software testing. While single-table evaluation is we

applicationsarxiv-cs-lg

Beyond the Leaderboard: Multi-Dimensional Evaluation of Dense and Mixture-of-Experts Models for Automated Program Repair

arXiv:2610.08173v1 Announce Type: cross Abstract: Automated Program Repair (APR) with language models is usually evaluated by whether a generated patch passes the test suite, which can hide difference

Applications

In With the Old: Enhancing 'Classical' Document Automation with Generative AI

arXiv:2610.07480v1 Announce Type: new Abstract: Software-based legal assistance systems have leveraged many different forms of knowledge representation and reasoning. This article explores how documen

applicationsarxiv-cs-ai

Tutorials

Learning from Failures: A Failure-Driven Prompt Refinement for LLM-Based Vulnerability Analysis

arXiv:2610.08405v1 Announce Type: cross Abstract: Large Language Models have emerged as promising tools for software vulnerability analysis, but their effectiveness depends heavily on prompt design. E

tutorialsarxiv-cs-ai

Midwest Wheel builds toward AI agents that fix problems

Agentic AI governance helps midsized distributors decide which tasks software agents can handle and which require human oversight. For lean IT teams, automating more work also means checking the data

Hardware

NVIDIA, Microsoft Kick Off a New Beginning for Windows PCs With RTX Spark and AI Agents

At a Microsoft event in San Francisco on Wednesday, NVIDIA founder and CEO Jensen Huang and Microsoft CEO Satya Nadella outlined how NVIDIA and Microsoft are co-engineering hardware and software for A

hardwarenvidia-blog

RadOnc-Agent: An LLM-Orchestrated Framework for AI Workflows Across the Radiotherapy Care Pathway

arXiv:2610.06923v1 Announce Type: new Abstract: Artificial intelligence has advanced individual radiotherapy tasks, yet these capabilities remain separated across clinical stages, software environment

SIGMA: Self-Improving Alignment Generalization from a Model Spec

arXiv:2610.07935v1 Announce Type: new Abstract: LLM agents are increasingly capable of executing complex tasks and of recursively improving themselves on easy-to-verify objectives such as software eng

safetyarxiv-cs-ai

TeleTune: Evolving Agent Skills From Offline Telemetry

arXiv:2610.05437v2 Announce Type: replace Abstract: Computer-use agents need to capture procedural knowledge of how people use software. User telemetry offers a scalable source of this knowledge. Howe

Announcing MCP Toolbox Java SDK v1.0: Agentic data access for the enterprise

model-releasesgoogle-cloud-ai

Co-authors:Stenal Jolly, Strategic Cloud Engineer, GoogleAnubhav Dhawan, Software Engineer, Google Following the landmark announcement of MCP Toolbox v1.0, we're thrilled to announce that the MCP Tool

Autoware in Construction: Gap Analysis and LiDAR Perception Toward Off-Road Autonomous Driving

arXiv:2610.04187v1 Announce Type: new Abstract: Autoware is an open-source autonomous driving software platform widely adopted by researchers and industry developers. Originally developed primarily fo

agentsarxiv-cs-ro

Correct Verdicts, Flawed Reasoning: Structured Auditing of LLM-based Vulnerability Reasoning

arXiv:2610.06366v1 Announce Type: cross Abstract: Large Language Models (LLMs) are increasingly deployed for automated software vulnerability analysis. Binary classification alone is insufficient; pra

EXHIB: A Benchmark for Realistic and Diverse Evaluation of Function Similarity in the Wild

arXiv:2604.01554v2 Announce Type: replace-cross Abstract: Binary Function Similarity Detection (BFSD) is a core problem in software security, supporting tasks such as vulnerability analysis, malware c

Hadrian raises $40M for AI agents that find the weaknesses attackers can exploit

Dutch offensive security startup Hadrian Security B.V. today announced that it has raised 40 million in new funding to expand its business internationally. Hadrian’s software points artificial intelli

Mind the Gaps: From Failure Attribution to Closed-Form Repair of Code Language Models

arXiv:2610.05277v1 Announce Type: cross Abstract: Code language models must be maintained like the software around them: when a library evolves, a model keeps writing the interface that it saw during

researcharxiv-cs-lg

Beyond Predefined Sinks: Security-Aware Dependency Analysis for LLM Agents

arXiv:2610.03014v1 Announce Type: cross Abstract: Large language model (LLM)-based agents increasingly connect model-generated decisions to security-sensitive software capabilities such as command exe

GTDD: Generative Test-Driven Development for AI Coding Agents with Adversarial Testing

arXiv:2610.02952v1 Announce Type: cross Abstract: Test-driven development gives AI coding agents executable requirements for implementing software. Because these agents can adapt their implementations

safetyarxiv-cs-lg

Harness-Aware Distillation for Small Language Model Agents

arXiv:2610.02858v1 Announce Type: new Abstract: Language model agents are deployed with a harness, the software around the model that manages its context, tools, and feedback. When such an agent is di

safetyarxiv-cs-ai

Improving the Energy-Efficiency of the Code Generated by LLMs through Effective Prompting

arXiv:2610.02571v1 Announce Type: cross Abstract: As AI-assisted programming becomes increasingly mainstream, the environmental impact of AI-generated software has emerged as an important consideratio

Local Ai

Law And Order: Tax Law Autoformalization

arXiv:2610.02792v1 Announce Type: new Abstract: Legal systems are increasingly implemented through software, yet scalable methods for translating legal texts into accurate symbolic representations rem

local-aiarxiv-cs-ai

Tutorials

AI is rewriting the developer career ladder. Here’s how to stand out.

Learn three ways to get noticed and grow your career as AI reshapes how developers build software. The post AI is rewriting the developer career ladder. Here’s how to stand out. appeared first on The

tutorialsgithub-ai-blog

Are AI Coders Snitches? An Empirical Study of Pretraining Data Detection on Code Large Language Models

arXiv:2507.17389v2 Announce Type: replace-cross Abstract: Recent advances in code large language models (CodeLLMs) have made them indispensable tools in modern software engineering. However, these mod

Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback

arXiv:2610.00347v1 Announce Type: cross Abstract: Self-modifying AI agents can replace, fork, and roll back identity-bearing software while descendants remain executable. Per-successor authorization d

Benchmarking System One decision models against trained classifiers and language models for automated decision gates

arXiv:2610.00346v1 Announce Type: new Abstract: Software that hands branching decisions to a model needs a declared option and a probability it can threshold. Typed decision models, also called System

researcharxiv-cs-lg

GKE CPU startup boost: Accelerate app starts without over-provisioning

model-releasesgoogle-cloud-ai

Whether you’re launching microservices in response to sudden traffic spikes, deploying new software releases, or scaling up application replicas, pod startup time is critical to maintaining a fast, re

The Innocent Courier: Covert Exfiltration Through Legitimate LLM Web Fetching

arXiv:2610.01768v1 Announce Type: cross Abstract: With the increasing capabilities of Large-Language-Models (LLMs) and LLM-based agents, users are increasingly using them to solve everyday problems, s

Always-on AI agents turn infrastructure into a continuous learning loop

AI agent infrastructure is evolving to support systems that move continuously among inference, feedback and training. Cognition AI Inc.’s Devin now assists throughout the software development lifecycl

EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses

arXiv:2609.39284v1 Announce Type: cross Abstract: While large language models have achieved remarkable success in isolated code generation, authentic software engineering requires sustained reasoning,

IBM allows on-prem deployment of its Bob agentic development platform

IBM Corp. today announced a self-hosted deployment option for IBM Bob, its agentic software development platform, allowing enterprises to use artificial intelligence to build and modernize application

Metaview wants to eliminate recruiting grunt work and speed up hiring after raising $60M

model-releasessiliconangle

Artificial intelligence recruiting software startup Metaview Labs Inc. said today the industry is ready for a “Claude Code moment” after it closed on 60 million in a Series C funding. The round was le

CineSubBench: Evaluating LLMs on Long-Form Narrative and Cultural Understanding from Multilingual Movie Subtitles

arXiv:2609.36218v1 Announce Type: cross Abstract: Large language models are increasingly evaluated in specialized domains such as law, medicine, software engineering, and cybersecurity, yet film remai