Certified Domain Consistency for Multi-Domain Retrieval: Label-Free Per-Domain Contamination Control with Conformal Risk Guarantees
arXiv:2607.14157v1 Announce Type: new
Abstract: Retrieval over corpora that mix several domains often returns relevant but wrong-domain evidence that ranking metrics miss and that conformal risk control bounds only marginally, under-covering the worst domains. This work introduces C3R, a drop-in co...
Explainable Geospatial AI for Satellite Ground Station Siting Using LiDAR-Derived Terrain Intelligence
arXiv:2607.14127v1 Announce Type: new
Abstract: Representative clutter height (RCH) is a key parameter in radio propagation and interference analysis because it captures the dominant height of local obstructions that drive terminal clutter loss. Current practice often relies on fixed clutter height...
Berlin, Paris, London: how Europe's AI hubs are diverging
Europe's AI scene used to get lumped together as one story. In 2026, Berlin, Paris, and London are running three different plays, and the gap between them is widening fast...
What Your Model Threw Away and Why You'll Want It Back: Masking, Fingerprinting, and Privacy from Discarded Geometry
arXiv:2607.13046v1 Announce Type: new
Abstract: We develop a framework for the information discarded by machine learning models whose inputs carry a Lie group action. Given a representation $\pi$ of a Lie group $G$ on a space $V$ and a learned function $f\colon V \to \mathbb{R}$, we define two obje...
Interactive Proofs for General Distribution Properties
Suppose Alice has collected a small number of samples from an unknown distribution, and would like to learn about the distribution. Bob, an untrusted data analyst, claims to have run a sophisticated data analysis on the distribution and makes assertions about its properties. When and how is it possi...
Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification
A property of functions is called location-invariant (or symmetric) if it can be characterized in terms of the frequencies in which each value occurs in the function, regardless of the locations in which each value occurs. It is known that the (query) complexity of testing location-invariant propert...
Ontology-Amplified Distillation and Contextuality Auditing for Sovereign Enterprise Language Models: A Combined Proof-of-Mechanism and Negative-Results Method Study
arXiv:2607.11948v1 Announce Type: new
Abstract: Regulated financial institutions operating under data-residency rules need tenant-owned language models that can run inside the institution's perimeter. This paper combines two related FAOS studies into one mechanism-and-control article. First, it rep...
Mirror Horizon: Viable Path Entropy as a Measure of Bounded Reflection
arXiv:2607.11937v1 Announce Type: new
Abstract: Mirror Theory proposes that an intelligent system should be studied not only by what it represents, but by what coherent continuations it can sustain under repeated reflection. We make this claim operational through \emph{viable path entropy} (VPE), a...
Qubit-Efficient Quantum Search for Hyperdimensional Decomposition via Logarithmic Encoding
arXiv:2607.11936v1 Announce Type: new
Abstract: Hyperdimensional Computing (HDC) represents symbols using high-dimensional hypervectors of dimension $D$. In hypervector decomposition, the objective is to recover $F$ constituent hypervectors, each drawn from a codebook of size $N$, from a bound targ...
Repairing Shape-Prior Shortcuts in Long-Range Single-Shot Fringe Projection Profilometry
arXiv:2607.11928v1 Announce Type: new
Abstract: Single-shot fringe projection profilometry (FPP) networks that regress depth directly can exploit a shape-prior shortcut, recovering depth from object boundaries rather than from fringe phase. On a photorealistic synthetic benchmark (15,600 fringe ima...
arXiv:2607.11897v1 Announce Type: new
Abstract: Linear attention replaces softmax attention's growing KV cache with a fixed recurrent state, but this compression limits exact state tracking and long-context memory. We introduce \emph{Semidirect Fourier Delta Attention} (SFDA), a phase-controlled ge...
SciML in the Wild: A Diagnostic Study of When Structural Priors Help and When They Hurt
arXiv:2607.09684v1 Announce Type: new
Abstract: Scientific Machine Learning (SciML) methods such as Neural Ordinary Differential Equations (NODEs), Physics-Informed Neural Networks (PINNs), and Universal Differential Equations (UDEs) are most effective when structural priors reflect reliable govern...
AuditWeave: A Tamper-Evident, Auditor-Navigable Evidence Layer for AI-Assisted and Data-Transformation Workflows
arXiv:2607.09682v1 Announce Type: new
Abstract: AI systems are increasingly used to assist consequential decisions in regulated domains such as auditing, finance, and healthcare. This creates a recurring obligation: an organization must be able to reconstruct, after the fact, which evidence informe...
Ablation, Statistical Inference, and Validation for KV-Cache Compression
arXiv:2607.09683v1 Announce Type: new
Abstract: This study systematically compares Turbo-Quant and SpectralQuant KV-cache compression, evaluating non-dominated schemes, including WHT rotation with Beta Lloyd-Max and QJL, through a statistical validation methodology that separates systematic codec d...
Boltzmann MapReduce: A Partition-Function Reduce for Forkable Sandboxes
arXiv:2607.09689v1 Announce Type: new
Abstract: To leading order under local asymptotic normality (LAN), the confidence density a worker emits over a chunk of size $n$ is a Gibbs--Boltzmann measure $\exp\{-\beta E(\theta)\}$ whose inverse temperature is the sample size, $\beta=n$. Three consequence...
Interpreting Latent CoT Reasoning as Dynamical Systems
arXiv:2607.09698v1 Announce Type: new
Abstract: Recent latent reasoning methods, such as CODI and COCONUT, face a fundamental interpretability problem: they maintain multiple superimposed candidate traces in the hidden space at each step, unlike explicit- CoT, which follows a single transparent rea...
Multilingual Semantic Retrieval for Apple Music Search
Apple Music serves listeners across 150+ storefronts in dozens of languages, with a catalog that grows by hundreds of thousands of new tracks daily. At this scale, search recall on misspelled, transliterated, and cross-lingual queries becomes a dominant driver of session quality, particularly for ta...
Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.
The post Verifying Rust cryptography in SymCrypt, from standards to code appeared fir...
Reward Transport: Property Control in Flow Matching via Noise-Space Alignment
arXiv:2607.08781v1 Announce Type: new
Abstract: The coupling in flow matching -- the rule pairing noise vectors with data points -- is typically treated as a computational choice. We show that this coupling can instead serve as an alignment interface: by matching noise and data according to a targe...
iLENS: Interpretable LLM-Guided Mixture-of-Experts for Neuroimaging Survival Analysis
arXiv:2607.08778v1 Announce Type: new
Abstract: Alzheimer's Disease (AD) is a complex neurodegenerative disorder that continues to impact millions of people worldwide. Predicting AD conversion during the prodromal stage remains critical for disease understanding and patient care. As such, survival ...
Signed Symmetric Quantization for Few-Bit Integers
arXiv:2607.08779v1 Announce Type: new
Abstract: The signed integer alphabet contains one more negative representable value than positive. Yet, by convention, the standard symmetric integer quantizer fixes its scale to be strictly positive, which assigns this extra representable value to the negativ...
Stanford Study Exposes Major Flaw in AI Mental Health Safety Testing
With increased use of chatbots in mental health contexts, AI developers now rely on human experts to evaluate AI’s responses for “safety” – but experts rarely agree on what’s safe.