Search: “software”

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

Research

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

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

DGX agent

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

9 Oct 2026

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

Research

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

Research

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

Complexity-Aware Evaluation of LLM Comprehension

arXiv:2609.37405v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used for software engineering tasks that require understanding existing source code, including behavior

Google announces Gemini 4 and says it’s so capable that only ‘trusted cyber defenders’ can have it right now

model-releasesthe-verge-ai

Google today revealed its next AI frontier model, which it's calling Gemini 4 Argon. The new model delivers 'frontier performance in complex workflows across real-world software engineering, enterpris

Industry

Google finds vulnerability disclosures doubled as AI changes which flaws get discovered

A new report out today from Google LLC’s Google Threat Intelligence Group finds that monthly software vulnerability disclosures doubled between January and August. Not surprisingly, artificial intelli

industrysiliconangle

Vulnerability Discovery and Exploitation Trends in the AI Era

model-releasesgoogle-cloud-ai

Written by: Robin Grunewald, Supriya Mazumdar, Kelli Vanderlee Introduction Google Threat Intelligence Group (GTIG) examines vulnerability disclosure and exploitation statistics to evaluate the impact

Agentic security strategy faces a shrinking breach window

An agentic security strategy must account for software that can act on legitimate instructions in unexpected ways. Agents can use credentials, call tools and choose their own routes toward a goal, exp

29 Sept 2026

AI agent identity security demands layered defenses, Omdia says

AI agent identity security is testing whether consolidated platforms can protect a growing class of machine identities. Palo Alto Networks Inc.’s acquisition of CyberArk Software Ltd. reflects broader

29 Sept 2026

Local Ai

Analytical and Convolutional Neural Network-Based Motion-Vector Propagation for Efficient Video Object Detection