📰 ArXiv cs.AI

arXiv:2603.25197v1 Announce Type: new Abstract: As AI assistants become integrated into safety engineering workflows for Physical AI systems, a critical questio

arXiv:2603.25266v1 Announce Type: new Abstract: Probabilistic abstract interpretation is a theory used to extract particular properties of a computer program wh

arXiv:2603.25273v1 Announce Type: new Abstract: The probabilistic abstract interpretation framework of neural network analysis analyzes a neural network by anal

arXiv:2603.25283v1 Announce Type: new Abstract: Gait is increasingly recognized as a vital sign, yet current approaches treat it as a symptom of specific pathol

arXiv:2603.25284v1 Announce Type: new Abstract: In this paper, we address post-training quantization (PTQ) for large language models (LLMs) from an overlooked p

arXiv:2603.25293v1 Announce Type: new Abstract: Directed Acyclic Graphs (DAGs) are widely used to represent structured knowledge in scientific and technical dom

arXiv:2603.25326v1 Announce Type: new Abstract: Interest in the concept of AI-driven harmful manipulation is growing, yet current approaches to evaluating it ar

arXiv:2603.25328v1 Announce Type: new Abstract: Automated Vehicle (AV) control in mixed traffic, where AVs coexist with human-driven vehicles, poses significant

arXiv:2603.25334v1 Announce Type: new Abstract: Distributed intelligence in industrial networks increasingly integrates sensing, communication, and computation

arXiv:2603.25356v1 Announce Type: new Abstract: Arithmetic puzzle games provide a controlled setting for studying difficulty in mathematical reasoning tasks, a

arXiv:2603.25379v1 Announce Type: new Abstract: Does structured intent representation generalize across languages and models? We study PPS (Prompt Protocol Spec

arXiv:2603.25412v1 Announce Type: new Abstract: Large language models (LLMs) increasingly rely on explicit chain-of-thought (CoT) reasoning to solve complex tas

arXiv:2603.25415v1 Announce Type: new Abstract: Semantic world models enable embodied agents to reason about objects, relations, and spatial context beyond pure

arXiv:2603.25450v1 Announce Type: new Abstract: Detecting when a language model is wrong without ground truth labels is a fundamental challenge for safe deploym

arXiv:2603.25480v1 Announce Type: new Abstract: Model retraining is usually treated as an ongoing maintenance task. But as Harrison Katz now argues, retraining

arXiv:2603.25498v1 Announce Type: new Abstract: As the Web transitions from static retrieval to generative interaction, the escalating environmental footprint o

arXiv:2603.25551v1 Announce Type: new Abstract: We introduce Voxtral TTS, an expressive multilingual text-to-speech model that generates natural speech from as

arXiv:2603.25633v1 Announce Type: new Abstract: Large Language Models (LLMs) are increasingly used in math education not only as problem solvers but also as ass

arXiv:2603.25719v1 Announce Type: new Abstract: We present an empirical study of how far general-purpose coding agents -- without hardware-specific training --

arXiv:2603.25720v1 Announce Type: new Abstract: Robust perception and reasoning require consistency across sensory modalities. Yet current multimodal models oft

arXiv:2603.25727v1 Announce Type: new Abstract: Automatic speech recognition (ASR) systems have achieved near-human accuracy on curated benchmarks, yet still fa

arXiv:2603.25737v1 Announce Type: new Abstract: The knowledge base in a retrieval-augmented generation (RAG) system is typically assembled once and never revise

arXiv:2402.05122v1 Announce Type: cross Abstract: This research provides an in-depth comprehensive review of the progress of chatbot technology over time, from

arXiv:2506.11680v1 Announce Type: cross Abstract: LLM-based Conversational AIs (CAIs), also known as GenAI chatbots, like ChatGPT, are increasingly used across