arXiv.org
Information Discernment in Large Language Models
Do they weigh information appropriately -- updating more for reliable sources (source discernment) and more when…
Hub / ai-research / arXiv cs.AI
ai-research · source
arXiv cs.AI on WeSearch
Recent ai-research headlines from arXiv cs.AI.
Lead story
arXiv.org
NEXUS: Structured Runtime Safety for Tool-Using LLM Agents
Researchers have introduced NEXUS, a structured runtime safety monitor for tool-using LLM agents, which applies a formal intervention policy to ensure safe execution of high-impact actions. NEXUS combines deterministic…
The latest
arXiv.org
Benchmarking Confidential GPU Inference on NVIDIA H100 under Intel TDX
However, the performance cost of enabling confidential execution for GPU-accelerated large language model serving…
arXiv.org
FormulaSPIN: Self-Play Fine-Tuning for Natural Language to Spreadsheet Formula Generation
Existing approaches rely on static supervised data, which quickly saturates on limited annotations. In this paper, we…
arXiv.org
OpenEvoShield: Dual Non-Stationary Continual Defense for Open-World Multi-Agent System Attacks
Unlike static threats, these attacks are doubly dynamic: adversaries refine injection strategies against deployed…
arXiv.org
Hybrid LSTM-Graph Neural Framework for Robust Financial Fraud Detection and Adversarial Resilience
This paper proposes FraudShield AI, a hybrid framework that integrates Long Short-Term Memory (LSTM) networks with…
arXiv.org
FineServe: A Fine-Grained Dataset and Characterization of Global LLM Serving Workloads
Achieving low latency and high throughput under volatile demand requires deep understanding of real-world serving…
arXiv.org
Spectral-LSH: Sub-Quadratic Prompt Compression via Krylov-Projected Locality-Sensitive Hashing
We propose Spectral-LSH, a training-free prompt compression method that operates before the prompt enters the language…
arXiv.org
Rethinking Uncertainty Evaluation in Large Language Models
What we actually need is for LLM confidence estimates to satisfy the conditions required of coherent probabilistic…
arXiv.org
Geometry-Guided Constraint Learning for LLM Safety Classification
We show that sparse autoencoder (SAE) feature extraction resolves this: K=2 becomes optimal for 12/14 categories on…
arXiv.org
Logic-Guided Data Extraction with Answer Set Programming and Large Language Models
This paper proposes a logic-guided data extraction framework combining LLM-based extraction with Answer Set…
arXiv.org
Statistically Grounded Sparse-Feature Interventions for Activation-Space Control in Large Language Models
Computer Science > Artificial Intelligence arXiv:2607.19364 (cs) [Submitted on 5 Jun 2026] Title:Statistically…
arXiv.org
AdaRoPE: Not All Attention Heads Should Rotate and Scale Equally
Using simplified retrieval tasks and length generalization scenarios, we show -- both empirically and theoretically --…
arXiv.org
GraphContainer: A Unified Platform for Comparing and Debugging Graph RAG Methods
However, existing approaches remain highly fragmented and incompatible. The structural heterogeneity of graph formats…
arXiv.org
Lifted Representation Hypothesis in Language Models
However, it remains unclear how these structures are stored, selected, and revised. To study this process, we propose…
arXiv.org
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
This split increases the trusted computing base and hinders unified model development. Existing geometry-in-Lean…
arXiv.org
Mitigating Scaffolding Collapse in Socratic Tutors via Representation Alignment
Prior defenses primarily constrain observable responses through prompting, preference optimization, or filtering,…
arXiv.org
Beyond Tracking or Shortcut: Composition-Bounded Predictive States in Poker Autoregressive Models
This paper studies this ambiguity in a no-range Limit Hold'em autoregressive model trained only on action and value…
arXiv.org
Profile-Graph Memory for LLM Agents: Implicit Cross-Entity Traversal through Narrative Profiles
First, we introduce MemHop, a multi-hop memory benchmark of 1,000 questions at hop depths 1-5 across 10 social-network…
arXiv.org
LISA: Linear-Indexed Sparse Attention for Efficient Long-Context Reasoning
However, the O(n^2) computational complexity of standard self-attention causes inference costs to grow sharply with…
arXiv.org
Stochastic Primal-Dual Decoding for Multiobjective Generative Recommender Systems
In practice, recommendation often involves constructing slates -- ordered lists of items -- that must satisfy multiple…
arXiv.org
OriginBlame: Record- and Token-Level Data Provenance for AI Training Datasets
Existing provenance systems operate at file or dataset level, forcing catastrophic over-deletion. We present ob, a…
arXiv.org
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
However, their performance can be further improved through agentic workflows tailored to real-world mathematical…
arXiv.org
Communication-Efficient Digital-Twin Coordination for Heterogeneous LLM Embodied Agents over Computing Power Networks
Computer Science > Artificial Intelligence arXiv:2607.09330 (cs) [Submitted on 10 Jul 2026]…
arXiv.org
How Does Bayesian Causal Discovery Fail? Characterising Structural Consequences in Linear Gaussian Networks under Latent Confounding
The paper investigates how Bayesian causal discovery behaves when latent confounding is present in linear Gaussian…
arXiv.org
LongMedBench: Benchmarking Medical Agents for Long-Horizon Clinical Decision-Making
Prior evaluations of LLM-based medical agents have largely emphasized short-context knowledge QA and tool use.…
arXiv.org
Fictional Worldbuilding: Multi-Agent LLM Collaboration with Hierarchical Context Compression and Iterative Review
Two experiments across 20 diverse worldbuilding tasks, using GPT-OSS 120B and DeepSeek v3.2 as LLM backends,…
arXiv.org
OpenProver: Agentic and Interactive Theorem Proving with Lean 4
OpenProver integrates a Planner-Worker-Verifier architecture inspired by recent ATP agentic systems such as Aletheia.…
arXiv.org
Toward Auditable AI Scientists: A Hypothesis Evolution Protocol for LLM Agents
Equipped with broad knowledge, flexible reasoning, and tool use, they have the potential to autonomously explore and…
arXiv.org
Scoped Verification for Reliable Long-Horizon Agentic Context Evolution under Distribution Shift
Computer Science > Artificial Intelligence arXiv:2607.09175 (cs) [Submitted on 10 Jul 2026] Title:Scoped Verification…
arXiv.org
KV-PRM: Efficient Process Reward Modeling via KV-Cache Transfer for Multi-Agent Test-Time Scaling
However, existing PRMs are text-based: they re-encode the entire trajectory text from scratch. In long multi-agent…
arXiv.org
Neuro-Agentic Control: A Deep Learning-based LLM-Powered Agentic AI Framework for Controlling Security Controls
While Large Language Models (LLMs) have strong semantic reasoning abilities to assist in decision support, their…
arXiv.org
ARCANA: A Reflective Multi-Agent Program Synthesis Framework for ARC-AGI-2 Reasoning
ARCANA decomposes each task into iterative perception, hypothesis generation, symbolic execution, and reflective…
arXiv.org
L-MAD: A Systematic Evaluation of Multi-Agent Debate Structures in Legal Reasoning
The paper presents the Legal Multi-Agent Debate (L-MAD) framework for evaluating debate structures in legal textual…
arXiv.org
MedRealMM: A Real-World Multimodal Benchmark for Chinese Online Medical Consultation
Many rely on synthetic conversations or patient simulators, omit patient-uploaded medical images, or evaluate…
arXiv.org
A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game
Computer Science > Artificial Intelligence arXiv:2607.08986 (cs) [Submitted on 9 Jul 2026] Title:A Formalization of…
arXiv.org
Long-Horizon-Terminal-Bench: Testing the Limits of Agents on Long-Horizon Terminal Tasks with Dense Reward-Based Grading
However, existing terminal benchmarks largely focus on simple problems that finish within minutes and are evaluated…
arXiv.org
GATS: Graph-Augmented Tree Search with Layered World Models for Efficient Agent Planning
We present \textbf{GATS} (Graph-Augmented Tree Search), a planning framework that combines systematic UCB1-based tree…
arXiv.org
CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions
We challenge this by demonstrating that reliability is significantly influenced by \emph{inference-time control} --…
arXiv.org
Interval Certifications for Multilayered Perceptrons via Lattice Traversal
In particular, we show that the adversarial robustness problem can be reduced to a lattice traversal problem. Each…
arXiv cs.AI
Ceci n'est pas une pipe: AI systems as semantic abstractions
We propose a semantic framework to describe AI systems, to be able to examine the correctness of such representations.…
arXiv cs.AI
Multimodal Reward Hacking in Reinforcement Learning
This risk is amplified when visual evidence is evaluated by text-only or weakly grounded rewards. We study reward…
arXiv cs.AI
Shared Selective Persistent Memory for Agentic LLM Systems
Naively persisting entire conversation histories is token-inefficient and counterproductive: irrelevant context…
arXiv cs.AI
SAGEAgent: A Self-Evolving Agent for Cost-Aware Modality Acquisition in Multimodal Survival Prediction
In multimodal clinical oncology, diagnostic modalities follow a clinically mandated order of escalating burden -- from…
arXiv cs.AI
Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI
These are powerful capabilities, but they share a structural limitation: the representational frame within which the…
arXiv cs.AI
Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining
The relevant unit of value is not prediction accuracy alone, but the defensibility of the supported decisions: their…
arXiv cs.AI
TrustX Agent Risk Classification Framework (ARC): Risk-Tiering Internally Created Agentic AI Systems
Computer Science > Artificial Intelligence arXiv:2607.09586 (cs) [Submitted on 10 Jul 2026] Title:TrustX Agent Risk…
arXiv cs.AI
Agora: Enhancing LLM Agent Reasoning Via Auction-Based Task Allocation
However, existing frameworks typically call APIs based on coarse-grained matching between tasks and the functions of…
arXiv cs.AI
ConceptSMILE: Auditing the Trustworthiness of Concept-Based Explainable AI
We introduce ConceptSMILE, a model-agnostic perturbation-based auditing framework for evaluating the reliability of…
arXiv cs.AI
Minimal Decision Dynamics and Contextual Probability: A Quantum Tug-of-War Model
This paper develops a quantum-like extension of the Tug-of-War (QTOW) decision-making model to clarify when such…
How WeSearch handles this source
WeSearch's declared handling of arXiv cs.AI's content. Indexing, snippets, summaries, retrieval and training are separate questions — see the rights registry or read this source's machine-readable record.
Indexing: Allowed
Snippet: Allowed
AI summary: Limited
Retrieval / RAG: Not asserted
Model training: Not asserted
Commercial reuse: Not permitted