Neural Network Verification using Partial Multi-Neuron Relaxation
arXiv:2605.30155v2 Announce Type: replace-cross Abstract: The increasing integration of deep neural networks in critical systems has spawned a theoretical and…
DynaTree: Dynamic Agentic Retrieval Tree for Time-Sensitive News Retrieval
arXiv:2605.31377v1 Announce Type: cross Abstract: Agentic Retrieval-Augmented Generation improves retrieval by integrating planning, tool use, and iterative reasoning, but existing…
PInVerify: An Offline Embodied Benchmark for Active Instance Verification
arXiv:2605.30639v1 Announce Type: cross Abstract: Embodied agents have made strong progress in navigating to target objects, but reaching the goal…
PhyDrawGen: Physically Grounded Diagram Generation from Natural Language
arXiv:2605.30512v1 Announce Type: new Abstract: Generating physics diagrams from text requires strict adherence to physical laws. While current generative models…
Mental Damage: Caption Poisoning Attacks on Retrieval-Augmented Text-to-Music Generation
arXiv:2605.30365v1 Announce Type: cross Abstract: Retrieval-augmented text-to-music (TTM) systems augment underspecified user prompts using captions retrieved from a music caption…
Preference-Shaped Expected Hypervolume and R2 Improvement: Exact Computation and Monotonicity
arXiv:2605.28746v2 Announce Type: replace-cross Abstract: This paper studies preference-shaped expected improvement criteria for Bayesian multiobjective optimization. We consider two indicator…
HARP: Hadamard-Preconditioned Adaptive Rotation Processor for Extreme LLM Quantization
arXiv:2605.29843v1 Announce Type: cross Abstract: Post-training quantization (PTQ) is essential for deploying LLMs under memory and bandwidth constraints. However, extreme…
CB-SLICE: Concept-Based Interpretable Error Slice Discovery
arXiv:2605.29836v1 Announce Type: cross Abstract: Despite strong average-case performance, deep learning models often exhibit systematic errors on specific population groups,…
QuITE: Query-Based Irregular Time Series Embedding
arXiv:2605.28166v2 Announce Type: replace-cross Abstract: Irregular Multivariate Time Series (IMTS) are common in practice, yet their irregular sampling complicates effective…