Papers
Research papers from arXiv and related sources
2G2T: Constant-Size, Statistically Sound MSM Outsourcing
Multi-scalar multiplication (MSM), defined as MSM(P, x) = sum_{i=1}^n x_i P_i, is a dominant computational kernel in discrete-logarithm-based cryptography and often becomes a bottleneck for verifie...
Majid Khabbazian
The PLUTO Code on GPUs: Offloading Lagrangian Particle Methods
The Lagrangian Particles (LP) module of the PLUTO code offers a powerful simulation tool to predict the non-thermal emission produced by shock accelerated particles in large-scale relativistic magn...
Alessio Suriano, Stefano Truzzi, Agnese Costa, Marco Rossazza, Nitin Shukla, Andrea Mignone, Vitt...
Axiverse Lampposts
The string axiverse predicts a unique connection between the high scales approachable only through theory and the low energies within reach of experimental verification: a multitude of light, feebl...
Masha Baryakhtar, David Cyncynates, Ella Henry
Neutrino NSI in archaeological Pb
Dark matter direct detection experiments can observe solar neutrinos via coherent elastic neutrino-nucleus scattering, making it possible to test new physics in the neutrino sector. In this article...
D. Alloni, G. Benato, P. Carniti, M. Cataldo, D. Cerdeño, A. Cheek, L. Cheng, M. Clemenza, M. Con...
VGG-T$^3$: Offline Feed-Forward 3D Reconstruction at Scale
We present a scalable 3D reconstruction model that addresses a critical limitation in offline feed-forward methods: their computational and memory requirements grow quadratically w.r.t. the number ...
Sven Elflein, Ruilong Li, Sérgio Agostinho, Zan Gojcic, Laura Leal-Taixé, Qunjie Zhou, Aljosa Osep
CubeSounder: Low SWaP-C 180 GHz Radiometer for Atmospheric Sensing Tested on High Altitude Balloons
Microwave sounding is the leading driver of global numerical weather forecasting, but is limited by the scalability of such instruments. With modern machining and commercial microwave components, i...
Kyle D. Massingill, Tyler M. Karasinski, Sean Bryan, Michael Baricuatro, Daniel Bliss, Delondrae ...
SemanticVocoder: Bridging Audio Generation and Audio Understanding via Semantic Latents
Recent audio generation models typically rely on Variational Autoencoders (VAEs) and perform generation within the VAE latent space. Although VAEs excel at compression and reconstruction, their lat...
Zeyu Xie, Chenxing Li, Qiao Jin, Xuenan Xu, Guanrou Yang, Wenfu Wang, Mengyue Wu, Dong Yu, Yuexia...
Uncertainty-Aware Calculation of Analytical Gradients of Matrix-Interpolatory Reduced-Order Models for Efficient Structural Optimization
This paper presents an adaptive sampling algorithm tailored for the optimization of parametrized dynamical systems using projection-based model order reduction. Unlike classical sampling strategies...
Marcel Warzecha, Sebastian Resch-Schopper, Gerhard Müller
Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
We propose a signal temporal logic (STL)-based framework that rigorously verifies the feasibility of a mission described in STL and synthesizes control to safely execute it. The proposed framework ...
Joonwon Choi, Kartik Anand Pant, Youngim Nam, Henry Hellmann, Karthik Nune, Inseok Hwang
Extreme Emission Line Galaxies in CEERS Are Powered by Star Formation, not AGN
We present a spectroscopic study of photometrically identified extreme emission-line galaxies (EELGs) with observed-frame equivalent widths (EWs) >5000 A of either H alpha or H beta + [OIII] in the...
Kelcey Davis, Madisyn Brooks, Jonathan R. Trump, Vital Fernández, Taylor A. Hutchison, Rebecca L....
A precessing jet from a supermassive black hole: multi-wavelength observations of S5 1044+71
The bright gamma-ray blazar S5 1044+71 has been identified as showing very significant quasi-periodic oscillations in the Fermi-LAT data in recent studies, with a periodicity of about 3 years. With...
M. Cerruti, P. A. Duverne, G. Ganesaratnam, P. Goswami, H. X. Ren, N. Sahakyan
Efficient evaluation of fundamental sensitivity limits and full counting statistics for continuously monitored Gaussian quantum systems
Generalized master equations (GMEs) -- time-local but generally neither trace-preserving nor Hermiticity-preserving -- are convenient tools to compute properties of the environment of an open or co...
Francesco Albarelli, Marco G. Genoni
Risk-Aware World Model Predictive Control for Generalizable End-to-End Autonomous Driving
With advances in imitation learning (IL) and large-scale driving datasets, end-to-end autonomous driving (E2E-AD) has made great progress recently. Currently, IL-based methods have become a mainstr...
Jiangxin Sun, Feng Xue, Teng Long, Chang Liu, Jian-Fang Hu, Wei-Shi Zheng, Nicu Sebe
AgentDropoutV2: Optimizing Information Flow in Multi-Agent Systems via Test-Time Rectify-or-Reject Pruning
While Multi-Agent Systems (MAS) excel in complex reasoning, they suffer from the cascading impact of erroneous information generated by individual participants. Current solutions often resort to ri...
Yutong Wang, Siyuan Xiong, Xuebo Liu, Wenkang Zhou, Liang Ding, Miao Zhang, Min Zhang
Randomization Tests in Switchback Experiments
Switchback experiments--alternating treatment and control over time--are widely used when unit-level randomization is infeasible, outcomes are aggregated, or user interference is unavoidable. In pr...
Jizhou Liu, Liang Zhong
Array-Carrying Symbolic Execution for Function Contract Generation
Function contract generation is a classical problem in program analysis that targets the automated analysis of functions in a program with multiple procedures. The problem is fundamental in inter-p...
Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
Dimensional and doping stability of Peierls charge density waves
The Peierls instability, the spontaneous dimerization of a one-dimensional metallic chain at half filling, is a paradigmatic mechanism for charge-density-wave (CDW) formation. Here we test its robu...
Aitor Garcia-Ruiz, Che-pin Hsu, Ming-Hao Liu, Marcin Mucha-Kruczynski
MetaOthello: A Controlled Study of Multiple World Models in Transformers
Foundation models must handle multiple generative processes, yet mechanistic interpretability largely studies capabilities in isolation; it remains unclear how a single transformer organizes multip...
Aviral Chawla, Galen Hall, Juniper Lovato
No Labels, No Look-Ahead: Unsupervised Online Video Stabilization with Classical Priors
We propose a new unsupervised framework for online video stabilization. Unlike methods based on deep learning that require paired stable and unstable datasets, our approach instantiates the classic...
Tao Liu, Gang Wan, Kan Ren, Shibo Wen
Automated Vulnerability Detection in Source Code Using Deep Representation Learning
Each year, software vulnerabilities are discovered, which pose significant risks of exploitation and system compromise. We present a convolutional neural network model that can successfully identif...
C. Seas, G. Fitzpatrick, J. A. Hamilton, M. C. Carlisle