Papers
Research papers from arXiv and related sources
Noise Titration: Exact Distributional Benchmarking for Probabilistic Time Series Forecasting
Modern time series forecasting is evaluated almost entirely through passive observation of single historical trajectories, rendering claims about a model's robustness to non-stationarity fundamenta...
Qilin Wang
dynActivation: A Trainable Activation Family for Adaptive Nonlinearity
This paper proposes $\mathrm{dynActivation}$, a per-layer trainable activation defined as $f_i(x) = \mathrm{BaseAct}(x)(α_i - β_i) + β_i x$, where $α_i$ and $β_i$ are lightweight learned scalars th...
Alois Bachmann
Using Global Gravitational Potential Weighted Correlation Function to Constrain Modified Gravity Models
We propose a new marked two-point correlation function weighted by the global gravitational potential as a probe for testing gravity models. Using the LCDM model based on general relativity (GR) as...
Yizhao Yang, Yu Yu, Pengjie Zhang
ROBOGATE: Adaptive Failure Discovery for Safe Robot Policy Deployment via Two-Stage Boundary-Focused Sampling
Deploying learned robot manipulation policies in industrial settings requires rigorous pre-deployment validation, yet exhaustive testing across high-dimensional parameter spaces is intractable. We ...
Byungjin Kim
Overcoming sampling limitations using machine-learned interatomic potentials: the case of water-in-salt electrolytes
Machine-learned interatomic potentials hold the promise to enable the modeling of highly concentrated liquids over meaningful timescales, far from reach for current ab initio electronic structure m...
Luca Brugnoli, Mathieu Salanne, A. Marco Saitta, Alessandra Serva, Arthur France-Lanord
Bounded Structural Model Finding with Symbolic Data Constraints
Bounded model finding is a key technique for validating software designs, usually obtained by translating high-level specifications into SAT/SMT problems. Although effective, such translations intr...
Artur Boronat
MAGPI: Multifidelity-Augmented Gaussian Process Inputs for Surrogate Modeling from Scarce Data
Supervised machine learning describes the practice of fitting a parameterized model to labeled input-output data. Supervised machine learning methods have demonstrated promise in learning efficient...
Atticus Rex, Elizabeth Qian, David Peterson
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
Erlang's dynamic typing discipline can lead to runtime errors that persist even after process restarts. Some of these runtime errors could be prevented through static type checking. While Erlang pr...
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Tuning Real-World Image Restoration at Inference: A Test-Time Scaling Paradigm for Flow Matching Models
Although diffusion-based real-world image restoration (Real-IR) has achieved remarkable progress, efficiently leveraging ultra-large-scale pre-trained text-to-image (T2I) models and fully exploitin...
Purui Bai, Junxian Duan, Pin Wang, Jinhua Hao, Ming Sun, Chao Zhou, Huaibo Huang
Identical, independent quantum weak measurements violate objective realism
We demonstrate violation of objective realism in quantum world using unconstrained weak measurements. Instead of limited Leggett-Garg approach with artificial bounds on the observed values, we assu...
Tomasz Rybotycki, Tomasz Białecki, Josep Batle, Bartłomiej Zglinicki, Adam Szereszewski, Wolfgang...
CRPS-Optimal Binning for Conformal Regression
We propose a method for non-parametric conditional distribution estimation based on partitioning covariate-sorted observations into contiguous bins and using the within-bin empirical CDF as the pre...
Paolo Toccaceli
BHDD: A Burmese Handwritten Digit Dataset
We introduce the Burmese Handwritten Digit Dataset (BHDD), a collection of 87,561 grayscale images of handwritten Burmese digits in ten classes. Each image is 28x28 pixels, following the MNIST form...
Swan Htet Aung, Hein Htet, Htoo Say Wah Khaing, Thuya Myo Nyunt
Structured-light propagation in a medium with uniform torsion: polarization textures, geometric birefringence, and beam-resolved optical activity
We investigate finite-width optical-beam propagation in a medium with uniform torsion described by the geometric theory of a continuous distribution of screw dislocations. Starting from the Riemann...
Edilberto O. Silva
Parsimonious Subset Selection for Generalized Linear Models with Biomedical Applications
High-dimensional biomedical studies require models that are simultaneously accurate, sparse, and interpretable, yet exact best subset selection for generalized linear models is computationally intr...
Anant Mathur, Benoit Liquet, Samuel Muller, Sarat Moka
Camera-Agnostic Pruning of 3D Gaussian Splats via Descriptor-Based Beta Evidence
The pruning of 3D Gaussian splats is essential for reducing their complexity to enable efficient storage, transmission, and downstream processing. However, most of the existing pruning strategies d...
Peter Fasogbon, Ugurcan Budak, Patrice Rondao Alface, Hamed Rezazadegan Tavakoli
The Golden Subspace: Where Efficiency Meets Generalization in Continual Test-Time Adaptation
Continual Test-Time Adaptation (CTTA) aims to enable models to adapt online to unlabeled data streams under distribution shift without accessing source data. Existing CTTA methods face an efficienc...
Guannan Lai, Da-Wei Zhou, Zhenguo Li, Han-Jia Ye
Disengagement Analysis and Field Tests of a Prototypical Open-Source Level 4 Autonomous Driving System
Proprietary Autonomous Driving Systems are typically evaluated through disengagements, unplanned manual interventions to alter vehicle behavior, as annually reported by the California Department of...
Marvin Seegert, Christian Oefinger, Korbinian Moller, Christoph Bank, Johannes Betz
AnkleType: A Hands- and Eyes-free Foot-based Text Entry Technique in Virtual Reality
Virtual Reality (VR) emphasizes immersive experiences, while text entry often requires hands or visual attention, which may disrupt the interaction flows in VR. We present AnkleType, a hand- and ey...
Xiyun Luo, Weirong Luo, Kening Zhu, Taizhou Chen
Collision-Free Velocity Scheduling for Multi-Agent Systems on Predefined Routes via Inexact-Projection ADMM
In structured multi-agent transportation systems, agents often must follow predefined routes, making spatial rerouting undesirable or impossible. This paper addresses route-constrained multi-agent ...
Seungyeop Lee, Jong-Han Kim
From Scores to Strategies: Towards Gaze-Informed Diagnostic Assessment for Visualization Literacy
Visualization literacy assessments typically rely on correctness to classify performance, providing little evidence about how readers arrive at their answers. We argue that gaze can address this ga...
Kathrin Schnizer