Gaussian Mixture Attention: Linear-Time Sequence Mixing via Probabilistic Latent Routing
arXiv:2606.18283v1 Announce Type: new
Abstract: The dense token-to-token interaction pattern of standard dot-product attention remains a central bottleneck in scaling Transformer architectures to long contexts. We introduce \textbf{Gaussian Mixture Attention (GMA)}, a probabilistic attention-style ...
Breaking the Solver Bottleneck: Training Task Generators at the Learnable Frontier
arXiv:2606.18284v1 Announce Type: new
Abstract: The limiting resource for training agents via reinforcement learning (RL) is increasingly frontier task supply: valid, solvable tasks just difficult enough to train the current model. As reasoning and agentic models improve, fixed task distributions s...
DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models
arXiv:2606.18557v1 Announce Type: new
Abstract: A rule-based logic solver resolves every instance in our benchmark in under 50 microseconds with 100% accuracy; the best frontier language model reaches 65% at best and drops to 23.5% under rendering-robust evaluation (worst case over four surface ren...
NAVI-Orbital: First In-Orbit Demonstration of a Zero-Shot Vision-Language Model for Autonomous Earth Observation
arXiv:2606.18271v1 Announce Type: new
Abstract: As Earth Observation data generation outpaces downlink bandwidth and human-in-the-loop processing, a widening gap has emerged between onboard collection and actionable ground intelligence. This paper presents NAVI-Orbital, a software system deployed o...
CaVe-VLM-CoT: An Interpretable Vision-Language Model Framework
arXiv:2606.18385v1 Announce Type: new
Abstract: Vision-Language Models (VLMs) remain prone to hallucinations, producing fluent but visually unfaithful outputs. Existing chain-of-thought and retrieval-augmented methods only partially address this, as they neither enforce step-level citation groundin...
arXiv:2606.18543v1 Announce Type: new
Abstract: Language model agents are becoming proficient executors at isolated, short-horizon tasks such as software engineering and customer service. Yet real-world challenges require a combination of sophisticated skills that remain largely untested in agents:...
Searching for Synergy in Shared Workspace Human-AI Collaboration
arXiv:2606.18413v2 Announce Type: new
Abstract: Automated AI agents are increasingly capable, yet many scientific and professional tasks require human judgment and contextual expertise. We study shared-workspace human-AI teams, where AI agents and human collaborators must coordinate responsibilitie...
The Critical Role of Model Selection in Causal Inference: A Comparative Analysis of Classification Models within the InferBERT Framework for Pharmacovigilance
arXiv:2606.17113v1 Announce Type: new
Abstract: Distinguishing causal adverse drug events (ADEs) from spurious correlations remains a central challenge in pharmacovigilance. The InferBERT framework integrates transformer models with Do-calculus, but its success hinges on the underlying classificati...
Correct When Paired, Wrong When Split: Decoupling and Editing Modality-Specific Neurons in MLLMs
arXiv:2606.17057v1 Announce Type: new
Abstract: Although Knowledge Editing provides an efficient mechanism for updating the knowledge of Multimodal Large Language Models (MLLMs), we find that current paradigms still suffer from an important yet remain underexplored issue : editing decoupling failur...
Models Take Notes at Prefill: KV Cache Can Be Editable and Composable
arXiv:2606.17107v1 Announce Type: new
Abstract: Prefix caching reuses prefill only across an exactly shared prefix, so one changed field invalidates the entire downstream cache. Yet overwriting the field's own key/value vectors and reusing the rest leaves the model acting on the old value. The reas...
Informative Missingness to Generate Irregular Clinical Time Series
arXiv:2606.17106v1 Announce Type: new
Abstract: Laboratory tests in electronic health records are collected irregularly, and the absence of a test order can be as informative as the measurement itself. Such missingness reflects clinicians' decisions and patient physiology, making it important to mo...
Beyond Parallel Sampling: Diverse Query Initialization for Agentic Search
arXiv:2606.17209v1 Announce Type: new
Abstract: Test-time scaling for agentic search typically increases depth (i.e., more turns and tokens per trajectory) or breadth (i.e., more parallel rollouts). Here we focus on breadth scaling, showing that standard parallel sampling yields diminishing returns...
Skill-Constrained Model Predictive Control for Resilient Manufacturing Supply Chains
arXiv:2606.17269v1 Announce Type: new
Abstract: In skill-constrained production-inventory systems, the qualified human capacity available tomorrow depends on training decisions made today: production requires certified workers, certifications decay unless maintained, and training consumes the same ...
Nothing from Something: Can a Language Model Discover 0?
arXiv:2606.17289v1 Announce Type: new
Abstract: AI systems based on artificial neural networks are being developed with aspirations of pushing the boundary of human mathematical knowledge. A key question for these systems is how much they can reach beyond their training data. Mathematical discovery...
SkillChain-Gym: A Benchmark for Reskilling-Aware Production-Inventory Control under Disruptions
arXiv:2606.17266v1 Announce Type: new
Abstract: Production planning increasingly has to treat workforce capability as a decision variable: certifications lapse when skills are not maintained, new products require skills the current workforce does not hold, and reskilling competes for the same worke...
When Rules Learn: A Self-Evolving Agent for Legal Case Retrieval
arXiv:2606.17220v1 Announce Type: new
Abstract: Legal case retrieval remains challenging due to the complexity of legal language and the need for precise lexical alignment between queries and relevant cases. Although dense retrieval models have achieved notable progress, empirical studies show that...
QPILOTS: Efficient Test-Time Q-Steering for Flow Policies
arXiv:2606.14801v1 Announce Type: new
Abstract: Flow-matching and diffusion policies are expressive action generators, but optimizing them with temporal-difference reinforcement learning (RL) remains difficult. Effective policy extraction requires exploiting the critic's action gradient, yet direct...
Policy Regret for Embedding Model Routing: Contextual Bandits with Low-Rank Experts
arXiv:2606.14929v1 Announce Type: new
Abstract: Modern recommendation systems increasingly rely on dynamically routing diverse queries to multiple embedding models. Despite its practical significance, this problem remains poorly understood under realistic conditions like adversarial queries, bandit...
GRASP: Gradient-Aligned Sequential Parameter Transfer for Memory-Efficient Multi-Source Learning
arXiv:2606.14900v1 Announce Type: new
Abstract: Multi-source transfer learning faces a fundamental scalability bottleneck: existing approaches require either loading all K source models into memory simultaneously during parameter fusion, requiring O(K) memory, or deploying all models at inference t...
arXiv:2606.14892v1 Announce Type: new
Abstract: An artificial intelligence must have a model of its environment that is causal, supporting reasoning about interventions and counterfactuals, and also combinatorial, supporting generalization to unseen combinations of objects. In this work, we formall...
Trust Between AI Agents: Measuring Formation, Breakage, and Recovery, with Implications for Governing Multi-Agent Systems
arXiv:2606.14923v1 Announce Type: new
Abstract: As language-model agents increasingly work in teams, each agent must decide how much to trust its teammates. Yet we lack a standard way to measure trust between AI agents. We propose a behavioral measure based on costly verification. In a cooperative ...
Dr-DCI: Scaling Direct Corpus Interaction via Dynamic Workspace Expansion
arXiv:2606.14885v1 Announce Type: new
Abstract: Agentic search over large corpora relies on retriever-mediated interfaces (e.g., BM25 or ColBERT) for scalable candidate discovery. While effective at ranking relevant documents, these interfaces expose evidence only as ranked results or bounded docum...
A Definition of Good Explanations and the Challenges Explaining LLM Outputs
arXiv:2606.14838v1 Announce Type: new
Abstract: How to define a good explanation is a long-standing philosophical debate which has found recent renewed interest in the context of AI outputs. Explainability is crucial for AI adoption in many contexts, but in order to produce good explanations of AI ...
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
arXiv:2606.14935v1 Announce Type: new
Abstract: Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic delegation offers a complementary route: a language model translates the ...