OmniPMNet: Bridging discrete and gridded PM10 forecasts via omni-query neural processes
arXiv:2607.11896v1 Announce Type: new
Abstract: Forecasting particulate matter (PM10) requires both station-scale accuracy and continuous spatial fields, especially during severe dust storms. Chemical transport models (CTMs) provide gridded forecasts but retain local biases, whereas graph neural ne...
Optimal Adaptive Market Making: A Theoretical Framework for High-Yield Liquidity Provision in Perpetual Futures Markets
arXiv:2607.11888v1 Announce Type: new
Abstract: We develop a rigorous theoretical framework for optimal market making in perpetual futures markets with zero maker fees. We model the market maker's problem as a stochastic optimal control problem on a filtered probability space, where the controls ar...
GRID: Grammar-Railed Decoding for Enterprise SQL Generation
arXiv:2607.11951v1 Announce Type: new
Abstract: Large language models can write SQL, but enterprise deployment demands more than plausible text: outputs must be syntactically valid, must respect per-role and per-schema policy, must carry provable (not best-effort) guarantees, must not slow down as ...
In-Context Reinforcement Learning under Non-Stationarity: A Survey
arXiv:2607.11906v1 Announce Type: new
Abstract: The development of decision-pretrained transformers, algorithm distillation, long-context meta-RL, and retrieval-augmented agents has renewed interest in in-context reinforcement learning (ICRL): the ability of a pretrained or fine-tuned decision mode...
Calibration-First Reward-Component Auditing for Reinforcement Learning Control in Smart Greenhouses
arXiv:2607.11959v1 Announce Type: new
Abstract: Greenhouse reinforcement learning can test climate-control ideas at a speed and scale that is difficult to achieve with crop experiments alone. For smart-greenhouse control, however, a single simulator return is not enough: a grower or control enginee...
Position: Every Ground Truth is a Human Construction, not an Objective Truth
arXiv:2607.09668v1 Announce Type: new
Abstract: Ground truth datasets play a fundamental role as reference values in the training and evaluation of machine learning models. This position paper argues that ground truths are not neutral objective measurements that are naturally given, but instead tha...
Knowledge Graphs Meet Graph Neural Networks: A Comprehensive Survey
arXiv:2607.09666v1 Announce Type: new
Abstract: Graph Neural Networks (GNNs) have emerged as a powerful paradigm in Knowledge Graphs (KGs) due to their intrinsic ability to model graph-structured data. However, there remains a lack of a systematic review about GNN-based methodologies across the ent...
Format Sensitivity Index: Token-Controlled Prompt Wrapper Robustness and Schema Compliance in LLM Benchmarking
arXiv:2607.09665v1 Announce Type: new
Abstract: Prompt wrappers often differ only in formatting, yet they can change model scores enough to flip leaderboard conclusions. We study this variance under a token-controlled protocol and introduce two complementary metrics: the Format Sensitivity Index (F...
Faithful, Not Corrective: Message-Format Effects in Multi-Hop Agent Relays Are Tier-Dependent
arXiv:2607.09678v1 Announce Type: new
Abstract: When LLM agents hand off information to one another, does the message format matter? Two literatures disagree: format-optimization work reports that structured messages cut cost without hurting accuracy, while format-restriction work finds that imposi...
From ML Predictions to Informed Diagnostic Assistance Using the Toulmin Model of Argumentation
arXiv:2607.09664v1 Announce Type: new
Abstract: To provide a structured and interpretable assessment, we decompose the image-based diagnosis into components following the Toulmin model of argumentation. This model consists of a claim, grounds, warrant, qualifier, rebuttal, and backing. Consider a c...
Sticky Routing: Training MoE Models for Memory-Efficient Inference
arXiv:2607.08780v1 Announce Type: new
Abstract: Mixture-of-Experts (MoE) models activate only a sparse subset of experts per token, yet consecutive tokens frequently activate different experts -- causing constant weight swapping between slow storage and fast memory on edge devices. Existing remedie...
A Unified Approach to Interpreting Knowledge Distillation for Large Language Models via Interactions
arXiv:2607.08776v1 Announce Type: new
Abstract: Despite the success of knowledge distillation (KD) in Large Language Models (LLMs), the underlying mechanism behind its efficacy remains unclear. In this paper, we propose a unified approach to explore the common mechanism of various KD methods using ...
Long-Horizon-Terminal-Bench: Testing the Limits of Agents on Long-Horizon Terminal Tasks with Dense Reward-Based Grading
arXiv:2607.08964v1 Announce Type: new
Abstract: AI agents have become capable of autonomously completing short, well-specified tasks. However, existing terminal benchmarks largely focus on simple problems that finish within minutes and are evaluated only by their final outcome. This setup overlooks...
CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions
arXiv:2607.08774v1 Announce Type: new
Abstract: Reliability in large language model (LLM) systems is typically framed as a function of model capability. We challenge this by demonstrating that reliability is significantly influenced by \emph{inference-time control} -- the computational layer govern...
GATS: Graph-Augmented Tree Search with Layered World Models for Efficient Agent Planning
arXiv:2607.08894v1 Announce Type: new
Abstract: Large Language Model (LLM) agents have shown promise in multi-step planning tasks, but existing approaches like LATS (Language Agent Tree Search) and ReAct rely heavily on LLM inference during planning, leading to high computational costs and stochast...
Interval Certifications for Multilayered Perceptrons via Lattice Traversal
arXiv:2607.08773v1 Announce Type: new
Abstract: In this work we present a rigorous theoretical framework to a foundational problem of AI safety, namely adversarial robustness. In particular, we show that the adversarial robustness problem can be reduced to a lattice traversal problem. Each element ...
A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game
arXiv:2607.08986v1 Announce Type: new
Abstract: We formalize a research result in the Lean 4 proof assistant by having a mathematician direct an AI system, and frame the activity as a formalization game. The objective is to turn a LaTeX document into Lean. The game is won when the development compi...
Aligning Clinical Needs and AI Capabilities: A Survey on LLMs for Medical Reasoning
arXiv:2607.07761v1 Announce Type: new
Abstract: Large language models (LLMs) have emerged as important tools in healthcare, showing growing potential for clinical reasoning and patient care. This survey examines recent progress in medical LLMs, focusing on reasoning applications and requirements. W...
Adversarial Social Epistemology for Assemblies of Humans and Large Language Models
arXiv:2607.07760v1 Announce Type: new
Abstract: We outline an adversarial social epistemology (ASE) for densely interactive communicative landscapes in which public assertions are scaffolded by chains of testimony, inference, institutional certification, and tacit trust. In such landscapes, agents ...
Alignment Plausibility: A New Standard for Assuring AI in Healthcare
arXiv:2607.07766v1 Announce Type: new
Abstract: Large language models (LLMs) have become significant providers of mental health support, yet they remain products of an attention economy whose operational and commercial targets favour sustained engagement over the friction that effective psychologic...
arXiv:2607.07721v1 Announce Type: new
Abstract: Retrieval-Augmented Generation (RAG) and agentic frameworks have advanced enterprise AI considerably, yet agents remain fundamentally reactive: they wait for a human query before acting. This paper argues that genuine enterprise productivity gains req...
AI-integrated models for assessing agricultural resilience
arXiv:2607.07759v1 Announce Type: new
Abstract: Agricultural supply chains are vulnerable to disruptions through linked biophysical and economic systems. We develop an AI-powered tool that integrates economic models (GTAP) with biophysical models (APSIM) to analyze supply chain shocks, enabling pol...
ReCoLoRA: Spectrum-Aware Recursive Consolidation for Continual LLM Fine-Tuning
arXiv:2607.07719v1 Announce Type: new
Abstract: Parameter-efficient fine-tuning adapts a large language model to one task cheaply, but across a task sequence LoRA-style methods keep stacking low-rank updates on the same frozen weight, so each new task tends to overwrite the previous ones. We presen...
Towards the Explainability of Temporal Graph Networks via Memory Backtracking and Topological Attribution
arXiv:2607.07716v1 Announce Type: new
Abstract: Temporal graphs are ubiquitous in real-world applications and Temporal Graph Networks (TGNs) have achieved superior predictive accuracy. Understanding which historical events drive model predictions can enhance trustworthiness of TGNs. Existing explan...