All entries

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

arXiv:2605.14294v1 Announce Type: new Abstract: Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to cl

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Predicting Response to Neoadjuvant Chemotherapy in Ovarian Cancer from CT Baseline Using Multi-Loss Deep Learning

DGX agent

arXiv:2605.14991v1 Announce Type: cross Abstract: Ovarian cancer is the most lethal gynecologic malignancy: around 60% of patients are diagnosed at an advanced stage, with an associated 5-year surviva

researcharxiv-cs-ai

15 May 2026

PreFT: Prefill-only finetuning for efficient inference

arXiv:2605.14217v1 Announce Type: cross Abstract: Large language models can now be personalised efficiently at scale using parameter efficient finetuning methods (PEFTs), but serving user-specific PEF

PREPING: Building Agent Memory without Tasks

arXiv:2605.13880v1 Announce Type: new Abstract: Agent memory is typically constructed either offline from curated demonstrations or online from post-deployment interactions. However, regardless of how

agentsarxiv-cs-ai

Pro-DG: Procedural Diffusion Guidance for Architectural Facade Generation

arXiv:2504.01571v2 Announce Type: replace-cross Abstract: We use hierarchical procedural rules for the generation of control maps within the stable diffusion framework to produce photo-realistic archi

Proactive Memory for Ad-Hoc Recall over Streaming Dialogues

arXiv:2603.04885v2 Announce Type: replace Abstract: Real-world dialogue usually unfolds as an infinite stream. It thus requires bounded-state memory mechanisms to operate within an infinite horizon. H

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning

arXiv:2605.14758v1 Announce Type: new Abstract: History-dependent policies induced by recurrent neural networks (RNNs) rely on latent hidden state dynamics, making verification in partially observable

Probing into Camera Control of Video Models

arXiv:2605.14815v1 Announce Type: new Abstract: Video is a rich and scalable source of 3D/4D visual observations, and camera control is a key capability for video generation models to produce geometri

PROCESS-2: A Benchmark Speech Corpus for Early Cognitive Impairment Detection

model-releasesarxiv-cs-lg

arXiv:2605.14888v1 Announce Type: cross Abstract: Speech-based analysis offers a scalable and non-invasive approach for detecting cognitive decline, yet progress has been constrained by the limited av

Progent: Securing AI Agents with Privilege Control

arXiv:2504.11703v3 Announce Type: replace-cross Abstract: AI agents interact with external environments through tool calls, exposing them to attacks like indirect prompt injection that can trigger una

Projected gradient methods for nonconvex and stochastic smooth optimization: new complexities and auto-conditioned stepsizes

arXiv:2412.14291v2 Announce Type: replace-cross Abstract: We present a novel class of projected gradient (PG) methods for minimizing a smooth but not necessarily convex function over a convex compact

Tutorials

Prompt Segmentation and Annotation Optimisation: Controlling LLM Behaviour via Optimised Segment-Level Annotations

arXiv:2605.14561v1 Announce Type: new Abstract: Prompt engineering is crucial for effective interaction with generative artificial intelligence systems, yet existing optimisation methods often operate

tutorialsarxiv-cs-ai

Prompting Policies for Multi-step Reasoning and Tool-Use in Black-box LLMs with Iterative Distillation of Experience

arXiv:2605.14443v1 Announce Type: new Abstract: The shift toward interacting with frozen, 'black-box' Large Language Models (LLMs) has transformed prompt engineering from a heuristic exercise into a c

Proposal and study of statistical features for string similarity computation and classification

arXiv:2605.15110v1 Announce Type: cross Abstract: Adaptations of features commonly applied in the field of visual computing, co-occurrence matrix (COM) and run-length matrix (RLM), are proposed for th

researcharxiv-cs-cl

ProtoMedAgent: Multimodal Clinical Interpretability via Privacy-Aware Agentic Workflows

arXiv:2605.14113v1 Announce Type: cross Abstract: While interpretable prototype networks offer compelling case-based reasoning for clinical diagnostics, their raw continuous outputs lack the semantic

agentsarxiv-cs-ai

PROVE: A Perceptual RemOVal cohErence Benchmark for Visual Media

arXiv:2605.14534v1 Announce Type: cross Abstract: Evaluating object removal in images and videos remains challenging because the task is inherently one-to-many, yet existing metrics frequently disagre

Proximal Action Replacement for Behavior Cloning Actor-Critic in Offline Reinforcement Learning

arXiv:2602.07441v2 Announce Type: replace-cross Abstract: Offline reinforcement learning (RL), which optimizes policies using a previously collected static dataset, is an important branch of RL. A pop

Proxy Compression for Language Modeling

arXiv:2602.04289v2 Announce Type: replace Abstract: Modern language models are trained almost exclusively on token sequences produced by a fixed tokenizer, an external lossless compressor often over U

safetyarxiv-cs-cl

PVRF: All-in-one Adverse Weather Removal via Prior-modulated and Velocity-constrained Rectified Flow

arXiv:2605.14045v1 Announce Type: new Abstract: Adverse weather removal (AWR) in real-world images remains challenging due to heterogeneous and unseen degradations, while distortion-driven training of

PyCSP3-Scheduling: A Scheduling Extension for PyCSP3

arXiv:2605.14559v1 Announce Type: new Abstract: PyCSP^3 provides a productive way to build constraint models for solving combinatorial constrained problems and export them to XCSP^3, preserving a comp

researcharxiv-cs-ai

QOuLiPo: What a quantum computer sees when it reads a book

model-releasesarxiv-cs-cl

arXiv:2605.14188v1 Announce Type: cross Abstract: What does a book look like to a quantum computer? This paper takes eight classical works of the Renaissance and its late-antique inheritance -- from A

Quantifying and Mitigating Premature Closure in Frontier LLMs

arXiv:2605.15000v1 Announce Type: cross Abstract: Premature closure, or committing to a conclusion before sufficient information is available, is a recognized contributor to diagnostic error but remai

Quantifying Cyber-Vulnerability in Power Electronics Systems via an Impedance-Based Attack Reachable Domain

arXiv:2605.14502v1 Announce Type: cross Abstract: Power electronics systems are increasingly exposed to cyber threats due to their integration with digital controllers and communication networks. Howe

researcharxiv-cs-ai

Quantitative Video World Model Evaluation for Geometric-Consistency

arXiv:2605.15185v1 Announce Type: cross Abstract: Generative video models are increasingly studied as implicit world models, yet evaluating whether they produce physically plausible 3D structure and m

Quantum Advantage in Multi Agent Reinforcement Learning

arXiv:2605.14235v1 Announce Type: new Abstract: We present an empirical evaluation of quantum entanglement in agent coordination within quantum multi agent reinforcement learning (QMARL). While QMARL

agentsarxiv-cs-lg

R2PS: Worst-Case Robust Real-Time Pursuit Strategies under Partial Observability

arXiv:2511.17367v2 Announce Type: replace Abstract: Computing worst-case robust strategies in pursuit-evasion games (PEGs) is time-consuming, especially when real-world factors like partial observabil

safetyarxiv-cs-lg

R2R2: Robust Representation for Intensive Experience Reuse via Redundancy Reduction in Self-Predictive Learning

arXiv:2605.14026v1 Announce Type: cross Abstract: For reinforcement learning in data-scarce domains like real-world robotics, intensive data reuse enhances efficiency but induces overfitting. While pr

RAM-W600: A Multi-Task Wrist Dataset and Benchmark for Rheumatoid Arthritis

arXiv:2507.05193v4 Announce Type: replace-cross Abstract: Rheumatoid arthritis (RA) is a common autoimmune disease that has been the focus of research in computer-aided diagnosis (CAD) and disease mon

Randomized Atomic Feature Models for Physics-Informed Identification of Dynamic Systems

arXiv:2605.14351v1 Announce Type: cross Abstract: We present a physics-informed framework for system identification based on randomized stable atomic features. Impulse responses are represented as ran

RAPO++: Cross-Stage Prompt Optimization for Text-to-Video Generation via Data Alignment and Test-Time Scaling

arXiv:2510.20206v2 Announce Type: replace Abstract: Prompt design plays a crucial role in text-to-video (T2V) generation, yet user-provided prompts are often short, unstructured, and misaligned with t

safetyarxiv-cs-cv

RAVEN: Real-time Autoregressive Video Extrapolation with Consistency-model GRPO

arXiv:2605.15190v1 Announce Type: new Abstract: Causal autoregressive video diffusion models support real-time streaming generation by extrapolating future chunks from previously generated content. Di

safetyarxiv-cs-cv

Reactive Planning based Control for Mobile Robots in Obstacle-Cluttered Environments

arXiv:2605.14232v1 Announce Type: new Abstract: This paper addresses the motion control problem for mobile robots in obstacle-cluttered environments. The mobile robot has partial environment informati

researcharxiv-cs-ro

Ready from Day 1: Population-Aware Coordination for Large-Scale Constrained Multi-Agent Systems

arXiv:2605.13900v1 Announce Type: cross Abstract: In large-scale multi-agent systems with shared resource constraints, an upstream planner must iteratively evaluate candidate resource plans -- assessi

agentsarxiv-cs-lg

Real-time virtual circuits for plasma shape control via neural network emulators

model-releasesarxiv-cs-lg

arXiv:2605.14939v1 Announce Type: cross Abstract: Reliable position and shape control in tokamak plasmas requires accurate real-time regulation of several strongly coupled shape parameters. The contro

Real2Sim in HOI: Toward Physically Plausible HOI Reconstruction from Monocular Videos

arXiv:2605.14462v1 Announce Type: new Abstract: Recovering 4D human-object interaction (HOI) from monocular video is a key step toward scalable 3D content creation, embodied AI, and simulation-based l

Tutorials

Realiz3D: 3D Generation Made Photorealistic via Domain-Aware Learning

arXiv:2605.13852v1 Announce Type: cross Abstract: We often aim to generate images that are both photorealistic and 3D-consistent, adhering to precise geometry, material, and viewpoint controls. Typica

tutorialsarxiv-cs-cv

REALM: Retrospective Encoder Alignment for LFP Modeling

arXiv:2605.14867v1 Announce Type: cross Abstract: Spike activity has been the dominant neural signal for behavior decoding due to its high spatial and temporal resolution. However, as brain-computer i

Applications

ReasonCache: Accelerating Large Reasoning Model Serving through KV Cache Sharing

arXiv:2507.21433v3 Announce Type: replace-cross Abstract: Large Reasoning Models (LRMs) are becoming integral to many AI inference systems, enhancing their capabilities with advanced reasoning. Howeve

applicationsarxiv-cs-ai

Reasoning Model Is Superior LLM-Judge, Yet Suffers from Biases

arXiv:2601.03630v2 Announce Type: replace Abstract: This paper presents the first systematic comparison investigating whether Large Reasoning Models (LRMs) are superior judges to non-reasoning LLMs. O

safetyarxiv-cs-cl

Reduce the Artifacts Bias for More Generalizable AI-Generated Image Detection

arXiv:2605.14486v1 Announce Type: new Abstract: As the misuse of AI-generated images grows, generalizable image detection techniques are urgently needed. Recent state-of-the-art (SOTA) methods adopt a

RefDecoder: Enhancing Visual Generation with Conditional Video Decoding

arXiv:2605.15196v1 Announce Type: new Abstract: Video generation powers a vast array of downstream applications. However, while the de facto standard, i.e., latent diffusion models, typically employ h

Regret Equals Covariance: A Closed-Form Characterization for Stochastic Optimization

arXiv:2605.14019v1 Announce Type: cross Abstract: Regret is the cost of uncertainty in algorithmic decision-making. Quantifying regret typically requires computationally expensive simulation via Sampl

Reinforcement Learning for Diffusion LLMs with Entropy-Guided Step Selection and Stepwise Advantages

arXiv:2603.12554v2 Announce Type: replace-cross Abstract: Reinforcement learning (RL) has been effective for post-training autoregressive (AR) language models, but extending these methods to diffusion

Reinforcement Learning for Tool-Calling Agents in Fast Healthcare Interoperability Resources (FHIR)

arXiv:2605.14126v1 Announce Type: cross Abstract: Fast Healthcare Interoperability Resources (FHIR) is the dominant standard for interoperable exchange of healthcare data. In FHIR, electronic health r

Reinforcement Learning with Semantic Rewards Enables Low-Resource Language Expansion without Alignment Tax

arXiv:2605.14366v1 Announce Type: new Abstract: Extending large language models (LLMs) to low-resource languages often incurs an 'alignment tax': improvements in the target language come at the cost o

safetyarxiv-cs-cl

Reliability-Gated Source Anchoring for Continual Test-Time Adaptation

arXiv:2605.14063v1 Announce Type: new Abstract: Continual test-time adaptation (CTTA) updates a pretrained model online on an unlabeled, non-stationary stream while anchoring it to a frozen source che

Remember Your Trace: Memory-Guided Long-Horizon Agentic Framework for Consistent and Hierarchical Repository-Level Code Documentation

arXiv:2605.14563v1 Announce Type: cross Abstract: Automated code documentation is essential for modern software development, providing the contextual grounding that both human developers and coding ag

agentsarxiv-cs-cl

ReMIA: a Powerful and Efficient Alternative to Membership Inference Attacks against Synthetic Data Generators

arXiv:2605.14686v1 Announce Type: new Abstract: Tabular data sharing under privacy constraints is increasingly important for research and collaboration. Synthetic data generators (SDGs) are a promisin