Search: “arxiv-cs-ai”

OPERA: A Reinforcement Learning--Enhanced Orchestrated Planner-Executor Architecture for Reasoning-Oriented Multi-Hop Retrieval

arXiv:2508.16438v4 Announce Type: replace-cross Abstract: Recent advances in large language models (LLMs) and dense retrievers have driven significant progress in retrieval-augmented generation (RAG).

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Agents

OProver: A Unified Framework for Agentic Formal Theorem Proving

DGX agent

arXiv:2605.17283v1 Announce Type: cross Abstract: Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely i

agentsarxiv-cs-ai

19 May 2026

Optimal Knock-Pick Planning for Tightly Packed Tabletop Blocks With Parallel Grippers

arXiv:2605.17800v1 Announce Type: cross Abstract: Rearranging densely packed tabletop objects is challenging when parallel-gripper picks are infeasible without sufficient clearance around an object. T

Optimising CSRNet with parameter-free attention mechanisms for crowd counting in public transport

arXiv:2605.18349v1 Announce Type: cross Abstract: Occupancy estimation and crowd counting are critical tasks in designing smart and efficient public transport vehicles. Given that public transport loa

Ordinal Adaptive Correction: A Data-Centric Approach to Ordinal Image Classification with Noisy Labels

arXiv:2509.02351v3 Announce Type: replace-cross Abstract: Labeled data is a fundamental component in training supervised deep learning models for computer vision tasks. However, the labeling process,

Orthologic for SAT Solving

arXiv:2605.16421v1 Announce Type: cross Abstract: We present a new algorithm for deciding formula entailment in orthologic (a sound approximation of classical logic) that avoids the costly preprocessi

OSCAR: Offline Spectral Covariance-Aware Rotation for 2-bit KV Cache Quantization

arXiv:2605.17757v1 Announce Type: cross Abstract: INT2 KV-cache quantization is attractive for long-context LLM serving, but it remains difficult to make both accurate and deployable. Simple rotations

OSWorld-Human: Benchmarking the Efficiency of Computer-Use Agents

arXiv:2506.16042v2 Announce Type: replace Abstract: Generative AI is being leveraged to solve a variety of computer-use tasks involving desktop applications. State-of-the-art systems have focused sole

Local Ai

Overcoming the Intrinsic Performance Limitations of MEMS IMU via Diffusion-Based Generative Learning

arXiv:2605.16391v1 Announce Type: cross Abstract: Inertial measurement units (IMUs) are fundamental sensing components in multi-source integrated navigation systems, and their performance directly det

local-aiarxiv-cs-ai

Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks

arXiv:2605.18583v1 Announce Type: cross Abstract: Coding agents now run autonomously with shell, file, and network privileges. When a user issues a benign request, the agent sometimes does more than a

Local Ai

OxyGen: Unified KV Cache Management for VLA Inference under Multi-Task Parallelism

arXiv:2603.14371v2 Announce Type: replace-cross Abstract: Embodied AI agents increasingly require parallel execution of multiple tasks, such as manipulation, conversation, and memory construction, fro

local-aiarxiv-cs-ai

PAIR: Prefix-Aware Internal Reward Model for Multi-Turn Agent Optimization

arXiv:2605.17877v1 Announce Type: new Abstract: A significant hurdle for current LLMs is the execution of complex, multi-stage tasks. Group Relative Policy Optimization (GRPO) has been emerging as a l

Pairwise Preference Reward and Group-Based Diversity Enhancement for Superior Open-Ended Generation

arXiv:2605.18191v1 Announce Type: new Abstract: Current reinforcement learning(RL) methods are broadly applicable and powerful in verifiable settings where scalar rewards can be provided. However, in

PARALLAX: Separating Genuine Hallucination Detection from Benchmark Construction Artifacts

arXiv:2605.17028v1 Announce Type: cross Abstract: Large language models (LLMs) hallucinate with confidence: their outputs can be fluent, authoritative, and simply wrong. In medical, legal, and scienti

Parameterized 4-Qubit EWL Quantum Game Circuits with Dirac-Solow-Swan Hamiltonian Integration for Quadruple Helix Disruptive Innovation Recommender Systems

arXiv:2605.18080v1 Announce Type: cross Abstract: We present a novel parameterized 4-qubit Eisert-Wilkens-Lewenstein (EWL) quantum game circuit for recommender systems in quadruple helix innovation ec

PAREDA: A Multi-Accent Speech Dataset of Natural Language Processing Research Discussions

arXiv:2605.17860v1 Announce Type: cross Abstract: While modern Automatic Speech Recognition (ASR) systems achieve high accuracy on benchmark corpora, their performance often degrades when there is rea

Patients Speak, AI Listens: LLM-based Analysis of Online Reviews Uncovers Key Drivers for Urgent Care Satisfaction

arXiv:2503.20981v2 Announce Type: replace-cross Abstract: Investigating the public experience of urgent care facilities is essential for promoting community healthcare development. Traditional survey

Peak-Detector: Explainable Peak Detection via Instruction-Tuned Large Language Models in Physiological Sign

arXiv:2605.16452v1 Announce Type: cross Abstract: Accurate peak detection across diverse cardiac physiological signals, including the Electrocardiogram (ECG), Photoplethysmogram (PPG), Ballistocardiog

Pedestrian-Aware LLM-Driven Behavioral Planning for Autonomous Vehicles

arXiv:2605.16858v1 Announce Type: cross Abstract: Autonomous Vehicles (AVs) must make reliable decisions in dense urban environments where pedestrian behavior is variable, sometimes abnormal, and ofte

PEIRA: Learning Predictive Encoders through Inter-View Regressor Alignment

arXiv:2605.17671v1 Announce Type: cross Abstract: Non-contrastive self-supervised learning (SSL) is an effective framework for predictive representation learning, but popular (and in practice effectiv

Perception-based Image Denoising via Generative Compression

arXiv:2602.11553v2 Announce Type: replace-cross Abstract: Image denoising aims to remove noise while preserving structural details and perceptual realism, yet distortion-driven methods often produce o

Perceptual implications of automatic anonymization in pathological speech

arXiv:2505.00409v3 Announce Type: replace-cross Abstract: Automatic anonymization is increasingly used to enable ethical sharing of clinical speech, yet its perceptual and clinical consequences remain

PERMA: Benchmarking Personalized Memory Agents via Event-Driven Preference and Realistic Task Environments

arXiv:2603.23231v2 Announce Type: replace Abstract: Empowering large language models with long-term memory is crucial for building agents that adapt to users' evolving needs. Existing evaluations of t

Perovskite-R1: a domain-specialized large language model for intelligent discovery of precursor additives and experimental design

arXiv:2507.16307v2 Announce Type: replace-cross Abstract: Perovskite solar cells (PSCs) have rapidly emerged as a leading contender in next-generation photovoltaic technologies, owing to their excepti

Agents

PersonaArena: Dynamic Simulation for Evaluating and Enhancing Persona-Level Role-Playing in Large Language Models

arXiv:2605.17044v1 Announce Type: new Abstract: Large language models (LLMs) increasingly serve as interactive social agents, yet their ability to maintain coherent and authentic persona-level role-pl

agentsarxiv-cs-ai

Tutorials

PersonaDual: Balancing Personalization and Objectivity via Adaptive Reasoning

arXiv:2601.08679v3 Announce Type: replace Abstract: As users increasingly expect LLMs to align with their preferences, personalized information becomes valuable. However, personalized information can

tutorialsarxiv-cs-ai

PESD-TSF: A Period-Aware and Explicit Structured Decomposition Framework for Long-Term Time Series Forecasting

arXiv:2605.16449v1 Announce Type: cross Abstract: Deep forecasting models often suffer from attenuated periodic perception and entangled trend-noise representations as network depth increases. Moreove

PH-Dreamer: A Physics-Driven World Model via Port-Hamiltonian Generative Dynamics

arXiv:2605.18303v1 Announce Type: cross Abstract: World models built on recurrent state space architectures enable efficient latent imagination, yet remain physically unstructured, producing dynamics

Phase Transitions in Driven Informational Systems: A Two-Field Perspective on Learning Theory and Non-Equilibrium Chemistry

arXiv:2605.16325v1 Announce Type: cross Abstract: Phase-transition phenomena in deep learning (grokking, emergent capabilities, and ontological reorganization under context shift) have been studied th

Physics-Guided Geometric Diffusion for Macro Placement Generation

arXiv:2605.16451v1 Announce Type: cross Abstract: Macro placement is a pivotal stage in VLSI physical design, fundamentally determining the overall chip performance. Recent data-driven placement metho

PhysioSeq2Seq: A Hybrid Physiological Digital Twin and Sequence-to-Sequence LSTM for Long-Horizon Glucose Forecasting in Type 1 Diabetes

arXiv:2605.16860v1 Announce Type: cross Abstract: Accurate long-horizon glucose forecasting is critical for automated insulin delivery systems, which help people with type 1 diabetes (T1D) manage thei

PIMSM: Physics-Informed Multi-Scale Mamba for Stable Neural Representations under Distribution Shift

arXiv:2605.16351v1 Announce Type: cross Abstract: Scientific foundation models are expected to reuse representations under changes in dataset, acquisition protocol, and deployment domain, yet many seq

PIPER: Content-Based Table Search via profiling and LLM-Generated Pseudoqueries

arXiv:2605.18199v1 Announce Type: cross Abstract: The rapid growth of tabular datasets in data lakes, data spaces, and open data portals makes effective dataset search essential for reuse and analysis

Local Ai

Plan First, Diffuse Later: Extrinsic Graph Guidance for Long-Horizon Diffusion Planning

arXiv:2605.16863v1 Announce Type: cross Abstract: Compositional diffusion models offer a promising route to long-horizon planning by denoising multiple overlapping sub-trajectories while ensuring that

local-aiarxiv-cs-ai

PluRule: A Benchmark for Moderating Pluralistic Communities on Social Media

arXiv:2605.17187v1 Announce Type: cross Abstract: Social media are shifting towards pluralism -- community-governed platforms where groups define their own norms. What violates rules in one community

Hardware

Pocket Foundation Models: Distilling TFMs into CPU-Ready Gradient-Boosted Trees

arXiv:2605.18654v1 Announce Type: cross Abstract: A fraud scorer needs to answer in under 2 ms. The best tabular foundation models (TFMs) take 151-1,275 ms on GPU. We close this gap by distilling the

hardwarearxiv-cs-ai

Policy-Grounded Dynamic Facet Suggestions for Job Search

arXiv:2605.16479v1 Announce Type: cross Abstract: Job seekers often initiate search with short, underspecified queries. At LinkedIn, over 80% of job-related queries contain three or fewer keywords, ma

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications

arXiv:2605.18697v1 Announce Type: cross Abstract: Compound AI applications, which compose calls to ML models using a general-purpose programming language like Python, are widely used for a variety of

Agents

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self-Play

arXiv:2605.16727v1 Announce Type: new Abstract: We introduce PopuLoRA, a population-based asymmetric self-play framework for reinforcement learning with verifiable rewards (RLVR) post-training of LLMs

agentsarxiv-cs-ai

Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment

arXiv:2605.18672v1 Announce Type: new Abstract: This position paper argues that enforcing LLM agent safety within a single abstraction layer is not merely suboptimal but categorically insufficient for

Position: AI Evaluations Should be Grounded on a Theory of Capability

arXiv:2509.19590v2 Announce Type: replace Abstract: Evaluations of generative models are now ubiquitous, and their outcomes critically shape public and scientific expectations of AI's capabilities. Ye

Agents

Position: Universal Time Series Foundation Models Rest on a Category Error

arXiv:2602.05287v2 Announce Type: replace Abstract: This position paper argues that the pursuit of 'Universal Foundation Models for Time Series' rests on a fundamental category error, mistaking a stru

agentsarxiv-cs-ai

Position: Weight Space Should Be a First-Class Generative AI Modality

arXiv:2605.18632v1 Announce Type: cross Abstract: Neural network checkpoints have quietly become a large-scale data resource: millions of trained weight vectors now exist, each encoding task-, domain-

POST: Prior-Observation Adversarial Learning of Spatio-Temporal Associations for Multivariate Time Series Anomaly Detection

arXiv:2605.18128v1 Announce Type: new Abstract: Existing Multivariate Time Series Anomaly Detection (MTSAD) frameworks increasingly rely on integrating Graph Neural Networks (GNNs) with sequence model

Post-Trained MoE Can Skip Half Experts via Self-Distillation

arXiv:2605.18643v1 Announce Type: cross Abstract: Mixture-of-Experts (MoE) scales language models efficiently through sparse expert activation, and its dynamic variant further reduces computation by a

Predictable Confabulations: Factual Recall by LLMs Scales with Model Size and Topic Frequency

arXiv:2605.18732v1 Announce Type: cross Abstract: While scaling laws govern aggregate large language model performance, no scaling law has linked factual recall to both model size and training-data co

Prediction-Intervention Games and Invariant Sets

arXiv:2605.16828v1 Announce Type: cross Abstract: We consider the following two-player game: using observational data, the leader chooses a prediction function for a response variable Y from given cov

Prediction of Challenging Behaviors Associated with Profound Autism in a Classroom Setting Using Wearable Sensors

arXiv:2605.17618v1 Announce Type: new Abstract: Autism Spectrum Disorder (ASD) is characterized by challenges with social interaction and communication and by restricted or repetitive patterns of thou