Search: “arxiv-cs-ai”

AI Safety as Control of Irreversibility: A Systems Framework for Decision-Energy and Sovereignty Boundaries

arXiv:2605.01415v1 Announce Type: new Abstract: Recent AI systems compress the distance between capability growth and capability deployment. Earlier high-risk technologies were slowed by capital inten

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Applications

AIs and Humans with Agency

DGX agent

arXiv:2605.02810v1 Announce Type: new Abstract: This paper compares agency in humans with potential agency in AI programs. Human agency takes many years to develop, as the frontal lobe is activated. E

applicationsarxiv-cs-ai

6 May 2026

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

arXiv:2605.01032v2 Announce Type: new Abstract: We present an algebraic semantics for governed execution in which governance is axiomatized, compositional, and coterminous with expressibility. The fra

AMSnet-q: Unsupervised Circuit Identification and Performance Labeling for AMS Circuits

arXiv:2605.01404v1 Announce Type: cross Abstract: Analog and mixed-signal (AMS) circuit design remains heavily reliant on expert knowledge. While recent AI-driven automation tools can generate candida

Local Ai

An Empirical Study of Agent Skills for Healthcare: Practice, Gaps, and Governance

arXiv:2605.02709v1 Announce Type: new Abstract: Healthcare automation is shaped by local procedures and organizational constraints, so agent capabilities rarely transfer unchanged across settings. Age

local-aiarxiv-cs-ai

An explainable hypothesis-driven approach to Drug-Induced Liver Injury with HADES

arXiv:2605.02669v1 Announce Type: new Abstract: Drug-induced liver injury (DILI) remains a leading cause of late-stage clinical trial attrition. However, existing computational predictors primarily re

APIOT: Autonomous Vulnerability Management Across Bare-Metal Industrial OT Networks

arXiv:2605.02346v1 Announce Type: cross Abstract: Bare-metal operational technology (OT) devices -- especially the microcontrollers running Modbus/TCP and CoAP at the base of industrial control system

Architectural Obsolescence of Unhardened Agentic-AI Runtimes

arXiv:2605.01740v1 Announce Type: cross Abstract: An agentic-AI runtime issues tool calls, sends messages, and actuates devices on behalf of an LLM. Catching the four ways an action can diverge from i

Are LLMs More Skeptical of Entertainment News?

arXiv:2605.01727v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used for automated news credibility assessment, yet it remains unclear whether they apply even-handed stan

Are we Doomed to an AI Race? Why Self-Interest Could Drive Countries Towards a Moratorium on Superintelligence

arXiv:2605.01297v1 Announce Type: cross Abstract: This paper uses game theory to argue that, contrary to the prevailing view, a moratorium on Artificial Superintelligence (ASI) can be in a state's sel

Artificial Jagged Intelligence as Uneven Optimization Energy Allocation Capability Concentration, Redistribution, and Optimization Governance

arXiv:2605.01420v1 Announce Type: new Abstract: Artificial Jagged Intelligence (AJI) denotes a recurring pattern in which large learning systems exhibit strong local capabilities while remaining weak

Beyond Isolated Investor: Predicting Startup Success via Roleplay-Based Collective Agents

arXiv:2512.22608v3 Announce Type: replace Abstract: Due to the high value and high failure rates of startups, predicting their success is a critical challenge. Existing approaches typically model star

Beyond Scalars: Evaluating and Understanding LLM Reasoning via Geometric Progress and Stability

arXiv:2603.10384v2 Announce Type: replace Abstract: Evaluating LLM reliability via scalar probabilities often fails to capture the structural dynamics of reasoning. We introduce TRACED, a framework th

Beyond State Machines: Executing Network Procedures with Agentic Tool-Calling Sequences

arXiv:2605.02584v1 Announce Type: cross Abstract: Agentic AI will be an essential enabling technology for designing future mobile communication systems, which could provide flexible and customized ser

Caliper-in-the-Loop: Black-Box Optimization for Hyperledger Fabric Performance Tuning

arXiv:2605.02690v1 Announce Type: cross Abstract: Hyperledger Fabric performance depends on many interacting configuration parameters, making manual tuning difficult. We study automated throughput tun

Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications

arXiv:2601.00421v2 Announce Type: replace Abstract: This paper explores how semantic-space reasoning, traditionally used in computational linguistics, can be extended to tactical decision-making in te

Catching the Infection Before It Spreads: Foresight-Guided Defense in Multi-Agent Systems

arXiv:2605.01758v1 Announce Type: new Abstract: Large multimodal model-based Multi-Agent Systems (MASs) enable collaborative complex problem solving through specialized agents. However, MASs are vulne

Causal Software Engineering: A Vision and Roadmap

arXiv:2605.02454v1 Announce Type: cross Abstract: Software engineering increasingly involves making high-stakes decisions under uncertainty, using signals from code, field data, and socio-technical pr

Tutorials

CBV: Clean-label Backdoor Attacks on Vision Language Models via Diffusion Models

arXiv:2605.02202v1 Announce Type: new Abstract: Vision-Language Models (VLMs) have achieved remarkable success in tasks such as image captioning and visual question answering (VQA). However, as their

tutorialsarxiv-cs-ai

CellxPert: Inference-Time MCMC Steering of a Multi-Omics Single-Cell Foundation Model for In-Silico Perturbation

arXiv:2605.00930v1 Announce Type: cross Abstract: In this work, we introduce CellxPert, a scalable multimodal foundation model that unifies single-cell and spatial multi-omics within a common represen

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation

arXiv:2605.01037v2 Announce Type: cross Abstract: We present a certified purity architecture that converts governance enforcement in cognitive workflow systems from a runtime convention into a structu

Claw-Eval: Towards Trustworthy Evaluation of Autonomous Agents

arXiv:2604.06132v2 Announce Type: replace Abstract: Large language models are increasingly deployed as autonomous agents for multi-step workflows in real-world software environments. However, existing

ClinicBot: A Guideline-Grounded Clinical Chatbot with Prioritized Evidence RAG and Verifiable Citations

arXiv:2605.00846v1 Announce Type: new Abstract: Clinical diagnosis requires answers that are accurate, verifiable, and explicitly grounded in official guidelines. While large language models excel at

Co-Generative De Novo Functional Protein Design

arXiv:2605.00948v1 Announce Type: cross Abstract: De novo functional protein design aims to generate protein sequences that realize specified biochemical functions without relying on evolutionary temp

Code World Model Preparedness Report

arXiv:2605.00932v1 Announce Type: cross Abstract: This report documents the preparedness assessment of Code World Model (CWM), a model for code generation and reasoning about code from Meta. We conduc

CoFlow: Coordinated Few-Step Flow for Offline Multi-Agent Decision Making

arXiv:2605.01457v1 Announce Type: new Abstract: Generative models have emerged as a major paradigm for offline multi-agent reinforcement learning (MARL), but existing approaches require many iterative

Coherent Hierarchical Multi-Label Learning to Defer for Medical Imaging

arXiv:2605.02734v1 Announce Type: new Abstract: Learning to Defer (L2D) enables a model to predict autonomously or defer to an expert, but prior work largely assumes flat label spaces. We study the fi

Complexity Horizons of Compressed Models in Analog Circuit Analysis

arXiv:2605.02285v1 Announce Type: new Abstract: The deployment of Large Language Models (LLMs) for specialized engineering domains, such as circuit analysis, often faces a trade-off between reasoning

Compress Then Adapt? No, Do It Together via Task-aware Union of Subspaces

arXiv:2605.02829v1 Announce Type: new Abstract: Adapting large pretrained models to diverse tasks is now routine, yet the two dominant strategies of parameter-efficient fine-tuning (PEFT) and low-rank

Context-Aware Wireless Token Communication via Joint Token Masking and Detection

arXiv:2605.02123v1 Announce Type: cross Abstract: The increasing use of token-based representations in language-driven applications has motivated wireless token communication, where tokens are treated

ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files

arXiv:2603.00822v2 Announce Type: replace-cross Abstract: As Large Language Model (LLM) agents increasingly execute complex, autonomous software engineering tasks, developers rely on natural language

Controllable and Verifiable Process Data Synthesis for Process Reward Models

arXiv:2605.02395v1 Announce Type: new Abstract: Process reward models (PRMs) rely on high-quality process supervision data, yet existing construction methods often provide limited control over error l

Conventional Commit Classification using Large Language Models and Prompt Engineering

arXiv:2605.02033v1 Announce Type: cross Abstract: Conventional commits provide a structured format for writing commit messages, which improves readability, software maintenance, and enables automation

Tutorials

Counterfactual Reasoning in Automated Planning

arXiv:2605.02603v1 Announce Type: new Abstract: Automated planning traditionally assumes that all aspects of a planning task (initial state, goals, and available actions) are fully specified in advanc

tutorialsarxiv-cs-ai

CoVSpec: Efficient Device-Edge Co-Inference for Vision-Language Models via Speculative Decoding

arXiv:2605.02218v1 Announce Type: new Abstract: Vision-language models (VLMs) have demonstrated strong capabilities in multimodal perception and reasoning. However, deploying large VLMs on mobile devi

Tutorials

Cripping AI: Reimagining AI Through Lived Disability Experiences

arXiv:2605.02080v1 Announce Type: cross Abstract: Drawing on crip theory, this paper proposes cripping AI as a guiding framework to center lived disability experiences in AI research and development.

tutorialsarxiv-cs-ai

CyberAId: AI-Driven Cybersecurity for Financial Service Providers

arXiv:2605.01892v1 Announce Type: new Abstract: European financial institutions face mounting regulatory pressure while their security operations centres remain constrained not by data or staffing but

Data driven approach for Outdoor Channel Prediction in 5G and Beyond

arXiv:2605.01777v1 Announce Type: cross Abstract: An evolution of Wireless Communications towards 5G and beyond provides improved user experience in terms of quality of services. Understanding and est

DataClaw: A Process-Oriented Agent Benchmark for Exploratory Real-World Data Analysis

arXiv:2605.02503v1 Announce Type: new Abstract: Evaluating autonomous data analysis agents requires testing their ability to perform exploratory analysis in underexplored data environments. However, m

DataEvolver: Let Your Data Build and Improve Itself via Goal-Driven Loop Agents

arXiv:2605.01789v1 Announce Type: new Abstract: Constructing controllable visual data is a major bottleneck for image editing and multimodal understanding. Useful supervision is rarely produced by a s

Deciphering Shortcut Learning from an Evolutionary Game Theory Perspective

arXiv:2605.02658v2 Announce Type: new Abstract: Shortcut learning causes deep learning models to rely on non-essential features within the data. However, its formation in deep neural network training

Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Case

arXiv:2603.20151v2 Announce Type: replace-cross Abstract: Engineering system design -- whether mechatronic, control, or embedded -- often proceeds in an ad hoc manner, with requirements left implicit

DiagramNet: An End-to-End Recognition Framework and Dataset for Non-Standard System-Level Diagrams

arXiv:2605.01338v1 Announce Type: new Abstract: System-level diagrams encode the architectural blueprint of chip design, specifying module functions, dataflows, and interface protocols. However, non-s

Discover Fast Power Allocation Solution for Multi-Target Tracking via AlphaEvolve Evolution

arXiv:2605.01794v1 Announce Type: cross Abstract: Efficient radar resource allocation is a fundamental yet computationally challenging problem, as optimal solutions typically require iterative optimiz

Disentangling Intent from Role: Adversarial Self-Play for Persona-Invariant Safety Alignment

arXiv:2605.01899v1 Announce Type: new Abstract: The growing capabilities of large language models (LLMs) have driven their widespread deployment across diverse domains, even in potentially high-risk s

Distilling Long-CoT Reasoning through Collaborative Step-wise Multi-Teacher Decoding

arXiv:2605.02290v1 Announce Type: new Abstract: Distilling large reasoning models is essential for making Long-CoT reasoning practical, as full-scale inference remains computationally prohibitive. Exi

DocSync: Agentic Documentation Maintenance via Critic-Guided Reflexion

arXiv:2605.02163v1 Announce Type: cross Abstract: Software documentation frequently drifts from executable logic as codebases evolve, creating technical debt that degrades maintainability and causes d

Double Rectified Linear Unit-based Modular Semantics for Quantitative Bipolar Argumentation Framework

arXiv:2605.02551v1 Announce Type: new Abstract: Quantitative Bipolar Argumentation Frameworks (QBAFs) provide an alternative approach to computing argument acceptability in Bipolar Argumentation Frame