Search: “software”

STAR: Adaptive Spatial-Temporal Normalization for Unified Microservice Incident Management

arXiv:2609.31645v1 Announce Type: new Abstract: Automated incident management in large-scale microservice systems relies on learning robust representations from multimodal observability data, includin

applicationsarxiv-cs-lg

29 Sept 2026

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Safety

A Safety-Bounded SDC-to-MCP Gateway for Medical AI Agents

DGX agent

arXiv:2609.31358v1 Announce Type: cross Abstract: The Model Context Protocol (MCP) provides a common interface through which AI applications discover and use external resources and tools. It allows la

safetyarxiv-cs-ai

28 Sept 2026

Agents

AgentXploit: Autonomous Repository-to-Runtime Red-Teaming for AI Agents

arXiv:2609.31318v1 Announce Type: cross Abstract: AI agents combine language models with external data and tools that can modify files, call APIs, or execute code. Security failures can arise when adv

agentsarxiv-cs-ai

Analyzing and Mitigating Cost-Inefficient Behaviors in Coding Agents

arXiv:2609.30725v1 Announce Type: new Abstract: Although effective, coding agents often incur substantial monetary costs. Their recurring cost-inefficient behaviors remain underexplored. We conduct th

HCOE: Hyperbolic Clinical Ontology Embeddings from Biomedical Language Models

arXiv:2609.30763v1 Announce Type: new Abstract: Biomedical language models (LMs) encode textual semantics but do not explicitly preserve medical code hierarchies. We present Hyperbolic Clinical Ontolo

researcharxiv-cs-ai

JevAdvBench: A Benchmark and Black-Box Attacks for Reinforcement Learning for Calibrated Decisions Models

arXiv:2609.31142v1 Announce Type: cross Abstract: Models trained with reinforcement learning for calibrated decisions (RLCD), such as Jev, answer a typed question about an input, the state, with a pro

Neural Ideals and Neural Codes: An Algebraic Framework for Neural Network Classification and Feature Interpretation

arXiv:2609.30279v1 Announce Type: new Abstract: Understanding the features captured by the hidden layers of neural networks is a fundamental challenge in machine learning, despite their widespread suc

Safety

OpenHail: An Event-Driven Gymnasium Environment for Electric Ride-Hailing Fleet Control

arXiv:2609.30628v1 Announce Type: new Abstract: Machine-learning policies have attracted increasing interest for ride-hailing fleet control in recent years. Reinforcement learning, in particular, requ

safetyarxiv-cs-lg

Realizability Is Not Enough: Encoding, Liveness, and Auditing of Synthesized Robot Supervisors

arXiv:2609.30460v1 Announce Type: new Abstract: High-level robotic supervisors coordinate capabilities whose reported outcomes determine the robot's next action. Reactive synthesis can generate such s

Scaffold: Support Graph Theory Based Sparsification for Graph Neural Networks

arXiv:2609.31466v1 Announce Type: new Abstract: Graph neural networks (GNNs) rely on message passing over graph edges, making their computational and memory costs strongly dependent on graph density.

SeA-RVINS: Semantic-Aware Tightly Coupled RTK-Visual-Inertial System with Correlation-Preserving Robust Estimation for Urban Navigation

model-releasesarxiv-cs-ro

arXiv:2609.30814v1 Announce Type: new Abstract: Reliable absolute pose estimation in urban environments is undermined by outlier measurements and incorrect temporal associations that can persist in ti

Stale-Document Poisoning: When Outdated Retrieval Overrides Correct Model Answers

arXiv:2609.31342v1 Announce Type: new Abstract: Retrieval-augmented generation (RAG) is often used to address outdated knowledge by providing external evidence. But retrieval helps only when that evid

Tactile Sensing Array for Multi-Phalanx Sensing in Humanoid Hands

arXiv:2609.30506v1 Announce Type: new Abstract: Humanoid hands require tactile feedback across the whole finger, not just the fingertip, to grasp and manipulate objects properly. Vision and propriocep

Toward AI-Augmented Cooperative Engineering Workflows: Requirements and Architecture the European Rover Challenge

arXiv:2609.31136v1 Announce Type: new Abstract: The growing availability of Artificial Intelligence (AI) tools creates new opportunities to support engineering design processes, yet their current use

researcharxiv-cs-ai

Hardware

Universal Drift Correction for Multidimensional Scanning Microscopy

arXiv:2609.30866v1 Announce Type: cross Abstract: In scanning microscopy, drift causes the specimen to be sampled at positions displaced from the nominal probe positions. This displacement alters the

hardwarearxiv-cs-cv

Local Ai

A Field-Deployable GNSS-based Navigation Stack for Outdoor Mobile Robots

arXiv:2609.28933v1 Announce Type: new Abstract: Outdoor robots require more than an accurate receiver and a path-tracking law: the navigation system must preserve geometric consistency from geographic

local-aiarxiv-cs-ro

fable.intermittent: benchmarking probabilistic forecasting methods for intermittent time series

model-releasesarxiv-cs-lg

arXiv:2609.28607v1 Announce Type: new Abstract: Intermittent time series are common in spare-parts demand and retail sales. Since the cost of forecast errors is typically asymmetric, decisions such as

LLMersion: A Local-First AI Agent Framework for Low-Cost Home Language Learning toward Educational Equity

arXiv:2609.29672v1 Announce Type: new Abstract: Artificial intelligence helps education most where an essential provision has been rationed by cost. For language learners that provision is a teacher's

MQSS-Selector: RL-Guided Pass Selection for an MLIR Compilation Pipeline

arXiv:2609.30104v1 Announce Type: cross Abstract: High Performance Computing (HPC) and Quantum Computing (QC) systems are increasingly converging towards unified High Performance Computing-Quantum Com

The Last Human Gate: Forward Deployed Engineering for Governance Automation

arXiv:2609.29345v1 Announce Type: new Abstract: Enterprise governance requires decisions, evidence, and accountable authority; it does not require every review task to retain its current human impleme

Time-Series Foundation Models That Understand Data Revisions

arXiv:2609.28576v1 Announce Type: new Abstract: Historical observations are not always fixed: statistical agencies revise previously published values as new evidence arrives. Forecasting from a contem

Agent-Editing World Model: Rethinking World Modeling for LLM Agents

arXiv:2609.28416v1 Announce Type: cross Abstract: Recent advances in large language models (LLMs) have enabled agents to tackle long-horizon tasks across diverse environments. To further improve agent

An Open Pipeline and Dashboard for Systemic-Risk Evidence under the EU AI Act's Code of Practice

arXiv:2609.28335v1 Announce Type: new Abstract: Claims about AI safety reach audiences well beyond the AI community, yet many rely on opaque evidence or static assessments, when supporting evidence is

Tutorials

Constraint-Driven Context Engineering: Designing Domain Interfaces for AI Systems

arXiv:2609.27354v1 Announce Type: cross Abstract: Generative AI systems are increasingly deployed to address domain problems. These systems operate under technical, regulatory, institutional, and norm

tutorialsarxiv-cs-ai

Safety

From Agent Output to Authorized Transition

arXiv:2609.28216v1 Announce Type: cross Abstract: Agentic engineering systems can edit repositories, run tools and tests, build firmware, synthesize schematics, and prepare deployable or manufacturabl

safetyarxiv-cs-ai

Lend me an Ear: Speech Enhancement Using a Robotic Arm with a Microphone Array

arXiv:2602.17818v2 Announce Type: replace Abstract: Speech enhancement performance degrades significantly in noisy environments, limiting the deployment of speech-controlled technologies in industrial

applicationsarxiv-cs-ro

Omnidirectional Amphibious Locomotion via Internal Mass Actuation

arXiv:2609.27358v1 Announce Type: new Abstract: Field robots must traverse varied terrain and obstacles while remaining robust to water, debris, vegetation, and physical contact. We present MARBLE, a

Local Ai

TinyUDE: Solver-Free Universal Differential Equations on Microcontrollers via Lie-Taylor Jet Matching

arXiv:2609.26972v1 Announce Type: new Abstract: Training Universal Differential Equations (UDEs) traditionally relies on backpropagating through numerical ODE solvers, creating memory footprints far e

local-aiarxiv-cs-lg

From Capability to Assurance in Autonomous Penetration-Testing Harnesses: A Framework and Reference Implementation

arXiv:2609.22664v1 Announce Type: cross Abstract: Research on large language model agents for penetration testing is evaluated almost entirely by capability: whether the agent captures a flag or repro

mbariml: a curation pipeline for turning deep-sea imagery and video into object-detection training data

arXiv:2609.25500v1 Announce Type: new Abstract: Training data quantity and quality greatly affect object detection model performance, regardless of model architecture. When using object detection mode

researcharxiv-cs-cv

RoofLang: Enabling AI-Driven Architecting of LLM Inference Systems

arXiv:2609.12551v2 Announce Type: replace-cross Abstract: AI is beginning to make substantive contributions to LLM inference optimization. Existing AI optimizations are predominantly profiling-based.

RootQuantV2: Adapting a Vision Foundation Model for Root-Trait Regression from Minirhizotron Imagery

model-releasesarxiv-cs-lg

arXiv:2609.25567v1 Announce Type: cross Abstract: A lack of high-throughput phenotyping solutions for root traits in field-grown crops has severely constrained understanding and improvement of below-g

The Cartesian Hand: In-Hand Manipulation with All-Linear Fingers

arXiv:2609.25696v1 Announce Type: new Abstract: Robotic manipulation has increasingly pursued human-like dexterous hands with many articulated degrees of freedom, offering rich manipulation capabiliti

applicationsarxiv-cs-ro

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

arXiv:2602.18307v2 Announce Type: replace-cross Abstract: Large language models have achieved striking results in interactive theorem proving, particularly in Lean. However, most benchmarks for LLM-ba

Vision-based Underwater Formation Control With Input Saturations via Barrier Lyapunov Functions

arXiv:2609.25917v1 Announce Type: new Abstract: In this work, we propose a communication-free framework for vision-based formation control of fully actuated underwater robots subject to sensing constr

Vision-Language Models as copilots for Autonomous UAV Navigation: Analysis of Latency and Reliability in Degraded Environments

model-releasesarxiv-cs-ro

arXiv:2609.26084v1 Announce Type: new Abstract: The integration of Vision-Language Models (VLMs) in autonomous Unmanned Aerial Vehicles (UAVs) offers unprecedented semantic reasoning capabilities. How

Behavior Trees for Robotic Systems: An Empirical Study on Practices and Experiences

arXiv:2609.22404v1 Announce Type: new Abstract: Over the last decade, behavior trees (BT) have become one of the dominant behavior models for coordinating missions of robotic systems. Yet empirical ev

applicationsarxiv-cs-ro

Safety

Embedding Physics Priors in Robot Learning: A Survey

arXiv:2609.22319v1 Announce Type: new Abstract: The rapid progress of artificial intelligence is reshaping robotics and accelerating the adoption of learning-based approaches. While purely data-driven

safetyarxiv-cs-ro

Local Ai

ME-VLM:A Unified VLM for Embodied Cognition and Agent Coordination

arXiv:2609.24526v1 Announce Type: new Abstract: Physical AI requires models to ground visual and linguistic understanding in real-world environments while accounting for environmental constraints and

local-aiarxiv-cs-cv

PINGU: Extending Air-Bearing Spacecraft Emulators with Open-Source Actuators and Learned Control for Contact-Rich Proximity Operations

model-releasesarxiv-cs-ro

arXiv:2609.23554v1 Announce Type: new Abstract: Low-cost planar air-bearing testbeds have matured into a standard proxy for free-flying spacecraft GNC, but they remain largely thruster-only and are ra

When Who You Are Can Change the Code You Get: A Study of Persona-Induced Bias in LLM Code Generation

arXiv:2609.22102v1 Announce Type: cross Abstract: Large Language Models (LLMs) are widely used as programming assistants, yet it remains unclear whether and how user's demographic information impacts

Adaptive Color Grading

arXiv:2609.21169v1 Announce Type: cross Abstract: Independent control of tonescale regions (e.g., shadows, highlights) is essential for painters, photographers and cinematographers to bring 2D images

researcharxiv-cs-cv

CityLearn v3: A Configurable Simulation and Evaluation Framework for Realistic Control Studies of Renewable Energy Communities

arXiv:2609.21570v1 Announce Type: cross Abstract: Renewable energy communities (RECs) coordinate buildings, photovoltaic generation, batteries, electric vehicles and flexible loads. Controller studies

researcharxiv-cs-ai

Agents

CodeMidas: Scaling Agentic Coding RL Environments from Code Itself

arXiv:2609.22068v1 Announce Type: new Abstract: Training capable coding agents via reinforcement learning (RL) requires diverse tasks with reliable verifiers. Open-source codebases offer a rich source

agentsarxiv-cs-ai

Agents

Constraint Decay: The Fragility of LLM Agents in Backend Code Generation

arXiv:2605.06445v2 Announce Type: replace-cross Abstract: Large Language Model (LLM) agents demonstrate strong performance in autonomous code generation under loose specifications. However, production

agentsarxiv-cs-ai

Designer-RSI: Evolving Procedural Memory from User Traffic for Agentic Graphic Design

arXiv:2609.22086v1 Announce Type: new Abstract: Professional graphic design is a long-horizon agentic task in which structured, editable artifacts emerge from many interdependent actions, yet outcomes

LEGIT: Credentialing Protocol for Trustworthy AI Agent Marketplaces

arXiv:2609.21325v1 Announce Type: new Abstract: Agentic marketplaces are emerging where AI agents with varying capabilities autonomously complete specialized tasks for buyers. A major challenge of suc

Near-Universal Multiplicative Updates for Nonnegative Einsum Factorization

arXiv:2602.02759v3 Announce Type: replace-cross Abstract: Despite the ubiquity of multiway data across scientific domains, there are few performant and user-friendly methods that fit non-standard nonn

applicationsarxiv-cs-lg