Papers
Research papers from arXiv and related sources
Lensing in the Blue III: Weak Lensing Shape Catalogs of 30 Merging Galaxy Clusters
We present the weak gravitational lensing dataset from the Super-pressure Balloon-Borne Imaging Telescope (SuperBIT), which imaged 30 galaxy clusters during its 45 night flight in April to May 2023...
Sayan Saha, Jacqueline E. McCleary, Spencer W. Everett, Maya Amit, Georgios N. Vassilakis, Emaad ...
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
Sparse Tensor Compilers (STCs) have emerged as critical infrastructure for optimizing high-dimensional data analytics and machine learning workloads. The STCs must synthesize complex, irregular con...
Kabilan Mahathevan, Yining Zhang, Muhammad Ali Gulzar, Kirshanthan Sundararajah
Contact Status Recognition and Slip Detection with a Bio-inspired Tactile Hand
Stable and reliable grasp is critical to robotic manipulations especially for fragile and glazed objects, where the grasp force requires precise control as too large force possibly damages the obje...
Chengxiao He, Wenhui Yang, Hongliang Zhao, Jiacheng Lv, Yuzhe Shao, Longhui Qin
Multi-material Direct Ink Writing and Embroidery for Stretchable Wearable Sensors
The development of wearable sensing systems for sports performance tracking, rehabilitation, and injury prevention has driven growing demand for smart garments that combine comfort, durability, and...
Lukas Cha, Ryman Hashem, Ria Prakash, Tanguy Declety, Wenze Zhang, Liang He
Interpretability without actionability: mechanistic methods cannot correct language model errors despite near-perfect internal representations
Language models encode task-relevant knowledge in internal representations that far exceeds their output performance, but whether mechanistic interpretability methods can bridge this knowledge-acti...
Sanjay Basu, Sadiq Y. Patel, Parth Sheth, Bhairavi Muralidharan, Namrata Elamaran, Aakriti Kinra,...
PeriphAR: Fast and Accurate Real-World Object Selection with Peripheral Augmented Reality Displays
Gaze-based selection in XR requires visual confirmation due to eye-tracking limitations and target ambiguity in 3D contexts. Current designs for wide-FOV displays use world-locked, central overlays...
Yutong Ren, Arnav Reddy, Michael Nebeling
Synthetic Data, Information, and Prior Knowledge: Why Synthetic Data Augmentation to Boost Sample Doesn't Work for Statistical Inference
The use of synthetic data to deidentify data and to improve predictive models is well-attested to. The augmentation of datasets using synthetically generated data is an alluring proposition: in the...
Reid Dale, Jordan Rodu, Mike Baiocchi
VISTA: Validation-Guided Integration of Spatial and Temporal Foundation Models with Anatomical Decoding for Rare-Pathology VCE Event Detection
Capsule endoscopy event detection is challenging because diagnostically relevant findings are sparse, visually heterogeneous, and embedded in long, noisy video streams, while evaluation is performe...
Bo-Cheng Qiu, Yu-Fan Lin, Yu-Zhe Pien, Chia-Ming Lee, Fu-En Yang, Yu-Chiang Frank Wang, Chih-Chun...
Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
As Large Language Models (LLMs) increasingly assist secure software development, their ability to meet the rigorous demands of Rust program verification remains unclear. Existing evaluations treat ...
Zichen Xie, Wenxi Wang
FaithSteer-BENCH: A Deployment-Aligned Stress-Testing Benchmark for Inference-Time Steering
Inference-time steering is widely regarded as a lightweight and parameter-free mechanism for controlling large language model (LLM) behavior, and prior work has often suggested that simple activati...
Zikang Ding, Qiying Hu, Yi Zhang, Hongji Li, Junchi Yao, Hongbo Liu, Lijie Hu
Sub-Yield Dynamics in Yield-Stress Materials
The mechanical response of yield-stress materials below the yield point remains a subject of debate. Two of the most widely used constitutive models for these materials offer fundamentally conflict...
Alice Woodbridge, Kasra Amini, Fredrik Lundell, Outi Tammisola, Anne Juel, Robert J. Poole, Cláud...
On min-Storey estimators for multiple testing and conformal novelty detection
In a multiple testing task, finding an appropriate estimator of the proportion $π_0$ of non-signal in the data to boost power of false discovery rate (FDR) controlling procedures is a long-standing...
Gao Zijun, Roquain Etienne
The chemical DNA of the Magellanic Clouds VI. Origin and evolution of neutron-capture elements in the SMC
Context. In the context of galactic archaeology, the study of the Small Magellanic Cloud (SMC) is of crucial importance, as it represents a unique opportunity to study a nearby massive dwarf system...
Marco Palla, Alessio Mucciarelli, Donatella Romano, Samuele Anoardo, Francesca Matteucci
Unified Policy Value Decomposition for Rapid Adaptation
Rapid adaptation in complex control systems remains a central challenge in reinforcement learning. We introduce a framework in which policy and value functions share a low-dimensional coefficient v...
Cristiano Capone, Luca Falorsi, Andrea Ciardiello, Luca Manneschi
ShapleyLaw: A Game-Theoretic Approach to Multilingual Scaling Laws
In multilingual pretraining, the test loss of a pretrained model is heavily influenced by the proportion of each language in the pretraining data, namely the \textit{language mixture ratios}. Multi...
Xuyang Cao, Qianying Liu, Chuan Xiao, Yusuke Oda, Pontus Stenetorp, Daisuke Kawahara, Makoto Oniz...
State-dependent temperature control in Langevin diffusions using numerical exploratory Hamiltonian-Jacobi-Bellman equations
Choosing how much noise to add in Langevin dynamics is essential for making these algorithms effective in challenging optimization problems. One promising approach is to determine this noise by sol...
Taorui Wang, Xun Li, Gu Wang, Zhongqiang Zhang
Multi-Armed Sequential Hypothesis Testing by Betting
We consider a variant of sequential testing by betting where, at each time step, the statistician is presented with multiple data sources (arms) and obtains data by choosing one of the arms. We con...
Ricardo J. Sandoval, Ian Waudby-Smith, Michael I. Jordan
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
Runtime verification has gained popularity as a lightweight approach for increasing assurance in systems under scrutiny. Performing runtime checks enables dynamic monitoring and alerts for unexpect...
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
Test of a 34 GHz EOM laser frequency comb at ESPRESSO
Laser frequency combs (LFCs) are a promising technology for wavelength calibration of astronomical high-resolution spectrographs requiring utmost accuracy and stability, since they directly transla...
Tobias M. Schmidt, Ewelina Obrzud, François Bouchy, Gaspare Lo Curto, Victor Brasch, Tobias Herr,...
Mechanistic Insights into Enhanced Alkaline Oxygen Evolution on Zn-Al Alloy Electrodes
Electrochemical water electrolysis, which produces clean energy carriers to mitigate carbon emissions, lacks suitable, low-cost electrodes for efficient oxygen evolution reaction (OER) in alkaline ...
Abdul Ahad Mamun, Rokon Uddin Mahmud, Shahin Aziz, Muhammad Shahriar Bashar, Ahmed Sharif, Muhamm...