Papers
Research papers from arXiv and related sources
Probabilistic and Alarm-Based Evaluation of a b-Value-Driven Deep Learning Earthquake Forecast
We evaluate the forecasting performance of a deep learning model, originally introduced as a pattern-extraction framework, that operates on the spatiotemporal evolution of seismic b-values in a sho...
Jonas Köhler, Wei Li, Johannes Faber, Georg Rümpker, Nishtha Srivastava
Context Adaptive Extended Chain Coding for Semantic Map Compression
Semantic maps are increasingly utilized in areas such as robotics, autonomous systems, and extended reality, motivating the investigation of efficient compression methods that preserve structured s...
Runyu Yang, Junqi Liao, Hyomin Choi, Fabien Racapé, Ivan V. Bajić
V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots
Dense retrieval services increasingly underpin semantic search, recommendation, and retrieval-augmented generation, yet clients typically receive only a top-$k$ list with no auditable evidence of h...
Zipeng Qiu, Wenjie Qu, Jiaheng Zhang, Binhang Yuan
Radius-Flow Entanglement in Hadron States and Gravitational Form Factors
We propose a lattice-ready entanglement observable for QCD hadrons: the vacuum-subtracted radius flow of the ball Rényi entropy, $\mathfrak{s}_n(R;h)\equiv R\,\partial_RΔS_n(B_R;h)$, defined via th...
Kiminad A. Mamo
IoUCert: Robustness Verification for Anchor-based Object Detectors
While formal robustness verification has seen significant success in image classification, scaling these guarantees to object detection remains notoriously difficult due to complex non-linear coord...
Benedikt Brückner, Alejandro Mercado, Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio
Zigzag Persistence of Neural Responses to Time-Varying Stimuli
We use topological data analysis to study neural population activity in the Sensorium 2023 dataset, which records responses from thousands of mouse visual cortex neurons to diverse video stimuli. F...
Yuri Gardinazzi, Alessio Ansuini, Eugenio Piasini, Fabio Anselmi, Matteo Biagetti
MA-CoNav: A Master-Slave Multi-Agent Framework with Hierarchical Collaboration and Dual-Level Reflection for Long-Horizon Embodied VLN
Vision-Language Navigation (VLN) aims to empower robots with the ability to perform long-horizon navigation in unfamiliar environments based on complex linguistic instructions. Its success critical...
Ling Luo, Qianqian Bai
Dynamic Contract Analysis for Parallel Programming Models
Parallel programming in high-performance computing depends on low-level APIs such as MPI, requiring users to manage synchronization and resources manually. Several correctness checking tools exist ...
Yussur Mustafa Oraji, Alexander Hück, Christian Bischof
Magnetic monopoles and high frequency gravitational waves from quasi-stable strings
The spontaneous breaking of $SO(10)$ via flipped $SU(5)$ to the Standard Model yields a novel scenario in which the superheavy topologically stable GUT monopole carrying a single unit ($2π/e$) of D...
Rinku Maji, Qaisar Shafi
Kaon leptonic and semileptonic decays with $N_f=2+1+1$ HISQ fermions
Precision tests of the Standard Model (SM) currently show a deficit in first-row Cabibbo-Kobayashi-Maskawa (CKM) unitarity. In this talk, we discuss progress towards a correlated analysis of the la...
Ramón Merino, Alexei Bazavov, Claude W. Bernard, Carleton DeTar, Aida X. El-Khadra, Elvira Gámiz,...
Spatial Autoregressive Modeling of DINOv3 Embeddings for Unsupervised Anomaly Detection
DINO models provide rich patch-level representations that have recently enabled strong performance in unsupervised anomaly detection (UAD). Most existing methods extract patch embeddings from ``nor...
Ertunc Erdil, Nico Schulthess, Guney Tombak, Ender Konukoglu
Sparse autoencoders reveal organized biological knowledge but minimal regulatory logic in single-cell foundation models: a comparative atlas of Geneformer and scGPT
Background: Single-cell foundation models such as Geneformer and scGPT encode rich biological information, but whether this includes causal regulatory logic rather than statistical co-expression re...
Ihor Kendiukhov
A signal dedispersion algorithm for imaging-based transient searches
Dedispersion is the computational process of correcting for the frequency-dependent time delay affecting a radio signal that propagates through the interstellar and intergalactic media. It is a cru...
Cristian Di Pietrantonio, Marcin Sokolowski, Christopher Harris, Danny C. Price, Randall Wayth
LOO-PIT predictive model checking
We consider predictive checking for Bayesian model assessment using leave-one-out probability integral transform (LOO-PIT). LOO-PIT values are conditional cumulative predictive probabilities given ...
Herman Tesso, Aki Vehtari
Does Fine-tuning by Reinforcement Learning Improve Generalization in Binary Speech Deepfake Detection?
Building speech deepfake detection models that are generalizable to unseen attacks remains a challenging problem. Although the field has shifted toward a pre-training and fine-tuning paradigm using...
Xin Wang, Ge Wanying, Junichi Yamagishi
Embedding interpretable $\ell_1$-regression into neural networks for uncovering temporal structure in cell imaging
While artificial neural networks excel in unsupervised learning of non-sparse structure, classical statistical regression techniques offer better interpretability, in particular when sparseness is ...
Fabian Kabus, Maren Hackenberg, Julia Hindel, Thibault Cholvin, Antje Kilias, Thomas Brox, Abhina...
Floating-point consistent cross-verification methodology for reproducible and interoperable DDA solvers with fair benchmarking
The discrete dipole approximation (DDA) is a widely used and versatile numerical method for solving electromagnetic scattering by arbitrarily shaped objects. Despite its popularity, quantitative co...
Clément Argentin, Patrick C. Chaumet, Michel Gross, Maxim A. Yurkin
Two-phase stratified MHD flows in rectangular ducts
The characteristics of two-phase stratified magnetohydrodynamic (MHD) flow in horizontal rectangular ducts are investigated for a system consisting of a conductive liquid and a non-conductive gas. ...
Subham Pal, Ilya Barmak, Arseniy Parfenov, Alexander Gelfgat, Neima Brauner
SPARC: Spatial-Aware Path Planning via Attentive Robot Communication
Efficient communication is critical for decentralized Multi-Robot Path Planning (MRPP), yet existing learned communication methods treat all neighboring robots equally regardless of their spatial p...
Sayang Mu, Xiangyu Wu, Bo An
Scale-invariant Gaussian derivative residual networks
Generalisation across image scales remains a fundamental challenge for deep networks, which often fail to handle images at scales not seen during training (the out-of-distribution problem). In this...
Andrzej Perzanowski, Tony Lindeberg