Papers
Research papers from arXiv and related sources
SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
Programming environments typically separate the world of static code from the dynamic execution of programs. Developers must switch between writing code and observing its execution, often with limi...
Jean-Baptiste Döderlein, Djamel Eddine Khelladi, Mathieu Acher, Benoit Combemale
Reconstructions of Single Pixel X-Ray Transforms with Applications in Nuclear-Disarmament Verification
In nuclear arms control and disarmament processes, it is crucial to determine whether an object is a nuclear weapon or not without revealing sensitive information about it. At the MIT: Laboratory f...
Christopher Fichtlscherer, R. Scott Kemp, Christina Brandt
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
We study the limits of linear time evaluation of conjunctive queries under constraints expressed as tuple-generating dependencies (TGDs), across several modes of query evaluation: single-testing, a...
Nofar Carmeli, Carsten Lutz, Marcin Przybyłko
High-Performance Portable GPU Primitives for Arbitrary Types and Operators in Julia
Portable GPU frameworks such as Kokkos and RAJA reduce the burden of cross-architecture development but typically incur measurable overhead on fundamental parallel primitives relative to vendor-opt...
Emmanuel Pilliat
Robust Discrete Pricing Optimization via Multiple-Choice Knapsack Reductions
We study a discrete portfolio pricing problem that selects one price per product from a finite menu under margin and fairness constraints. To account for demand uncertainty, we incorporate a budget...
Zi Yuan Eric Shao
Beyond TVLA: Anderson-Darling Leakage Assessment for Neural Network Side-Channel Leakage Detection
Test Vector Leakage Assessment (TVLA) based on Welch's $t$-test has become a standard tool for detecting side-channel leakage. However, its mean-based nature can limit sensitivity when leakage mani...
Ján Mikulec, Jakub Breier, Xiaolu Hou
MOSAIC: Multi-Objective Slice-Aware Iterative Curation for Alignment
We study how to allocate a fixed supervised fine-tuning budget when three objectives must be balanced at once: multi-turn safety alignment, low over-refusal on benign boundary queries, and instruct...
Yipu Dou, Wang Yang
Reduced-order turbulent flow solver to simulate streamwise periodic fins with iso-thermal walls
Assessment of the thermo-hydraulic performance of heat exchangers using computational fluid dynamics is a challenging task. The intricate geometries of a heat exchanger require a fine discretizatio...
Nitish Anand, Praharsh Pai Raikar, Carlo De Servi
Learning to Self-Evolve
We introduce Learning to Self-Evolve (LSE), a reinforcement learning framework that trains large language models (LLMs) to improve their own contexts at test time. We situate LSE in the setting of ...
Xiaoyin Chen, Canwen Xu, Yite Wang, Boyi Liu, Zhewei Yao, Yuxiong He
DiscoPhon: Benchmarking the Unsupervised Discovery of Phoneme Inventories With Discrete Speech Units
We introduce DiscoPhon, a multilingual benchmark for evaluating unsupervised phoneme discovery from discrete speech units. DiscoPhon covers 6 dev and 6 test languages, chosen to span a wide range o...
Maxime Poli, Manel Khentout, Angelo Ortiz Tandazo, Ewan Dunbar, Emmanuel Chemla, Emmanuel Dupoux
AutORAN: LLM-driven Natural Language Programming for Agile xApp Development
Traditional RAN systems are closed and monolithic, stifling innovation. The openness and programmability enabled by Open Radio Access Network (O-RAN) are envisioned to revolutionize cellular networ...
Xin Li, Shiming Yu, Leming Shen, Jianing Zhang, Yuanqing Zheng, Yaxiong Xie
Design and implementation of a high-density sub-nanosecond timing system for a C-band photocathode electron gun test platform
This paper presents the design and implementation of a high-density, deterministic trigger distribution system tailored for the C-band photocathode electron gun test platform at the Southern Advanc...
Peng Zhu, Kangjia Xue, Lin Wang, Yuliang Zhang, Yongcheng Hea, Xuan Wu, Mingtao Li, Sinong Cheng,...
Sometimes nonparametrics beat parametrics, even when the model is right
A basic issue in both teaching of and practice of statistics is the interplay between modelling assumptions and inference performance. The general message conveyed is that stronger assumptions lead...
Morten Byholt, Nils Lid Hjort
Color image restoration based on nonlocal saturation-value similarity
In this paper, we propose and develop a novel nonlocal variational technique based on saturation-value similarity for color image restoration. In traditional nonlocal methods, image patches are ext...
Wei Wang, Yakun Li
Model Reference Adaptive Control For Gust Load Allevation of Nonlinear Aeroelastic
Model Reference Adaptive Control based on Lyapunov stability theory is developed for gust load alleviation of nonlinear aeroelastic systems. The controller operates on a nonlinear reduced-order mod...
Nikolaos D. Tantaroudas, Andrea Da Ronch, Guanqun Gai, Ilias Karachalios, Kenneth J. Badcock, Raf...
Breaking Hard Isomorphism Benchmarks with DRESS
In this paper we study the single-deletion variant $Δ$-DRESS, part of the broader DRESS framework. We demonstrate empirically that $Δ$-DRESS, a single level of vertex deletion applied to the DRESS ...
Eduar Castrillo Velilla
ICE: Intervention-Consistent Explanation Evaluation with Statistical Grounding for LLMs
Evaluating whether explanations faithfully reflect a model's reasoning remains an open problem. Existing benchmarks use single interventions without statistical testing, making it impossible to dis...
Abhinaba Basu, Pavan Chakraborty
UEPS: Robust and Efficient MRI Reconstruction
Deep unrolled models (DUMs) have become the state of the art for accelerated MRI reconstruction, yet their robustness under domain shift remains a critical barrier to clinical adoption. In this wor...
Xiang Zhou, Hong Shang, Zijian Zhan, Tianyu He, Jintao Meng, Dong Liang
SpecForge: A Flexible and Efficient Open-Source Training Framework for Speculative Decoding
Large language models incur high inference latency due to sequential autoregressive decoding. Speculative decoding alleviates this bottleneck by using a lightweight draft model to propose multiple ...
Shenggui Li, Chao Wang, Yikai Zhu, Yubo Wang, Fan Yin, Shuai Shi, Yefei Chen, Xiaomin Dong, Qiaol...
Stability of Charge Collection Efficiency and Time Resolution in 4H-SiC PIN Diodes Under X-ray Irradiation
This study evaluates the radiation tolerance of a 4H-SiC PIN detector under X-ray irradiation up to \SI{2}{MGy} (Si) at \SI{160}{keV}. The detector features a fully epitaxial vertical PIN structure...
Jiaqi Zhou, Sen Zhao, Xiyuan Zhang, Suyu Xiao, Chenxi Fu, Congcong Wang, Yanpeng Li, Weimin Song,...