Papers
Research papers from arXiv and related sources
Visual-ERM: Reward Modeling for Visual Equivalence
Vision-to-code tasks require models to reconstruct structured visual inputs, such as charts, tables, and SVGs, into executable or structured representations with high visual fidelity. While recent ...
Ziyu Liu, Shengyuan Ding, Xinyu Fang, Xuanlang Dai, Penghui Yang, Jianze Liang, Jiaqi Wang, Kai C...
Bounds on Agreement between Subjective and Objective Measurements
Objective estimators of multimedia quality are often judged by comparing estimates with subjective "truth data," most often via Pearson correlation coefficient (PCC) or mean-squared error (MSE). Bu...
Jaden Pieper, Stephen D. Voran
Lattice Discrete Particle Model (LDPM): Comparison of Various Time Integration Solvers and Implementations
This article presents a comparison of various implementations of the Lattice Discrete Particle Model (LDPM) for the numerical simulation of concrete and other heterogeneous quasibrittle materials. ...
Erol Lale, Jan Eliáš, Ke Yu, Matthew Troemner, Monika Středulová, Julien Khoury, Tianju Xue, Ioan...
Verification of Robust Properties for Access Control Policies
Existing methods for verifying access control policies require the policy to be complete and fully determined before verification can proceed, but in practice policies are developed iteratively, co...
Alexander V. Gheorghiu
When Your Model Stops Working: Anytime-Valid Calibration Monitoring
Practitioners monitoring deployed probabilistic models face a fundamental trap: any fixed-sample test applied repeatedly over an unbounded stream will eventually raise a false alarm, even when the ...
Tristan Farran
Euclid preparation. Simulated galaxy catalogues for non-standard cosmological models
Stage-IV galaxy surveys will provide the opportunity to test cosmological models and the underlying theory of gravity with unparalleled precision. In this context, it is crucial for the Euclid miss...
Euclid Collaboration, M. -A. Breton, P. Fosalba, S. Avila, M. Baldi, C. Carbone, M. Kärcher, G. ...
CP Violation in $B_{(s)}\toφK$ Decays: Standard Model Benchmarks and Isospin-Breaking New Physics
The penguin loop-suppressed $B\toφK$ decays are highly sensitive to contributions of hypothetical heavy new particles. Particularly interesting probes for testing the Standard Model and revealing s...
Robert Fleischer, Jelle Groot, K. Keri Vos
Unifying Decision Making and Trajectory Planning in Automated Driving through Time-Varying Potential Fields
This paper proposes a unified decision making and local trajectory planning framework based on Time-Varying Artificial Potential Fields (TVAPFs). The TVAPF explicitly models the predicted motion vi...
David Costa, Francesco Cerrito, Massimo Canale, Carlo Novara
Ridged Lagrangian Perturbation Theory (RLPT)
Galaxy surveys demand fast large-scale structure forward models that preserve large-scale phases while providing realistic nonlinear morphology at fixed force resolution. Single-step Lagrangian Per...
Francisco-Shu Kitaura, Francesco Sinigaglia
SldprtNet: A Large-Scale Multimodal Dataset for CAD Generation in Language-Driven 3D Design
We introduce SldprtNet, a large-scale dataset comprising over 242,000 industrial parts, designed for semantic-driven CAD modeling, geometric deep learning, and the training and fine-tuning of multi...
Ruogu Li, Sikai Li, Yao Mu, Mingyu Ding
exoALMA. XXIV. Formaldehyde Emission in Protoplanetary Disks of exoALMA Compared with Their Properties and Dynamical State
The presence of asymmetries and substructures in protoplanetary disks, revealed by both dust and gas emission, highlights the potential interplay and the broader connection between chemistry and dy...
Felipe Alarcón, Stefano Facchini, Leon Trapman, Pietro Curone, Luna Rampinelli, Sean M. Andrews, ...
Rooftop Wind Field Reconstruction Using Sparse Sensors: From Deterministic to Generative Learning Methods
Real-time rooftop wind-speed distribution is important for the safe operation of drones and urban air mobility systems, wind control systems, and rooftop utilization. However, rooftop flows show st...
Yihang Zhou, Chao Lin, Hideki Kikumoto, Ryozo Ooka, Sibo Cheng
IceCube Search for MeV Neutrinos from Mergers using Gravitational Wave Catalogs
We report on a search using the IceCube Neutrino Observatory for MeV neutrinos from compact binary mergers detected through gravitational waves during the LIGO-Virgo-KAGRA (LVK) O1, O2, and O3 obse...
Nora Valtonen-Mattila
The weight two and opposite sign cases for the Fourier relative trace formulas
We provide an adelic relative trace formula proof to the Petersson/Bruggeman-Kuznetsov (PBK) formulas, specifically in the holomorphic case for $κ=2$ and the non-holomorphic case for $m_1m_2<0$. Gi...
Matteo Di Scipio
Causal Cellular Context Transfer Learning (C3TL): An Efficient Architecture for Prediction of Unseen Perturbation Effects
Predicting the effects of chemical and genetic perturbations on quantitative cell states is a central challenge in computational biology, molecular medicine and drug discovery. Recent work has leve...
Michael Scholkemper, Sach Mukherjee
EMT and RMS Modeling of Thyristor Rectifiers for Stability Analysis of Converter-Based Systems
Thyristor rectifiers are a well-established and cost-effective solution for controlled high-power rectification, commonly used for hydrogen electrolysis and HVDC transmission. However, small-signal...
Ognjen Stanojev, Pol Jane Soneira, Gösta Stomberg, Mario Schweizer
Extending Topological Bound on Quantum Weight Beyond Symmetry-Protected Topological Phases
The quantum metric encodes the geometric structure of Bloch wave functions and governs a wide range of physical responses. Its Brillouin-zone integral, the quantum weight, appears in the structure ...
Yi-Chun Hung, Yugo Onishi, Hsin Lin, Liang Fu, Arun Bansil
Federated Few-Shot Learning on Neuromorphic Hardware: An Empirical Study Across Physical Edge Nodes
Federated learning on neuromorphic hardware remains unexplored because on-chip spike-timing-dependent plasticity (STDP) produces binary weight updates rather than the floating-point gradients assum...
Steven Motta, Gioele Nanni
daVinci-Env: Open SWE Environment Synthesis at Scale
Training capable software engineering (SWE) agents demands large-scale, executable, and verifiable environments that provide dynamic feedback loops for iterative code editing, test execution, and s...
Dayuan Fu, Shenyu Wu, Yunze Wu, Zerui Peng, Yaxing Huang, Jie Sun, Ji Zeng, Mohan Jiang, Lin Zhan...
Structured Quantum Optimal Control under Bandwidth and Smoothness Constraints-An Inexact Proximal-ADMM Approach for Low-Complexity Pulse Synthesis
Quantum optimal control is often judged by nominal fidelity alone, even though realistic pulse-design studies must also account for bandwidth, amplitude, and smoothness constraints. I study this st...
Ziwen Song