Papers
Research papers from arXiv and related sources
Unsupervised Baseline Clustering and Incremental Adaptation for IoT Device Traffic Profiling
The growth and heterogeneity of IoT devices create security challenges where static identification models can degrade as traffic evolves. This paper presents a two-stage, flow-feature-based pipelin...
Sean M. Alderman, John D. Hastings
Spatio-Temporal Garment Reconstruction Using Diffusion Mapping via Pattern Coordinates
Reconstructing 3D clothed humans from monocular images and videos is a fundamental problem with applications in virtual try-on, avatar creation, and mixed reality. Despite significant progress in h...
Yingxuan You, Ren Li, Corentin Dumery, Cong Cao, Hao Li, Pascal Fua
A Quality Framework for Testing Gravity with Wide Binaries: No Evidence for MOND
Wide binaries (WBs) offer a unique opportunity to test gravity in the low-acceleration regime, where modifications such as Milgromian dynamics (MOND) predict measurable deviations from Newtonian gr...
Stephen A. Cookson, Indranil Banik, Kareem El-Badry, Will Sutherland, Zephyr Penoyre, Charalambos...
GuardAlign: Test-time Safety Alignment in Multimodal Large Language Models
Large vision-language models (LVLMs) have achieved remarkable progress in vision-language reasoning tasks, yet ensuring their safety remains a critical challenge. Recent input-side defenses detect ...
Xingyu Zhu, Beier Zhu, Junfeng Fang, Shuo Wang, Yin Zhang, Xiang Wang, Xiangnan He
Cross-order induced behaviors in contagion dynamics on higher-order networks
Recent studies have shown that novel collective behaviors emerge in complex systems due to higher-order interactions. However, the way in which the structural correlations of these interactions sha...
Kaloyan Danovski, Sandro Meloni, Michele Starnini
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Property checking of RTL designs is a central task in formal verification. Among available engines, IC3/PDR is a widely used backbone whose performance critically depends on inductive generalizatio...
Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang
Foundation World Models for Agents that Learn, Verify, and Adapt Reliably Beyond Static Environments
The next generation of autonomous agents must not only learn efficiently but also act reliably and adapt their behavior in open worlds. Standard approaches typically assume fixed tasks and environm...
Florent Delgrange
Large-scale portfolio optimization on a trapped-ion quantum computer
We present an end-to-end pipeline for large-scale portfolio selection with cardinality constraints and experimentally demonstrate it on trapped-ion quantum processors using hardware-aware decomposi...
Alejandro Gomez Cadavid, Ananth Kaushik, Pranav Chandarana, Miguel Angel Lopez-Ruiz, Gaurav Dev, ...
RAD-DPO: Robust Adaptive Denoising Direct Preference Optimization for Generative Retrieval in E-commerce
Generative Retrieval (GR) has emerged as a powerful paradigm in e-commerce search, retrieving items via autoregressive decoding of Semantic IDs (SIDs). However, aligning GR with complex user prefer...
Zhiguo Chen, Guohao Sun, Yiming Qiu, Xingzhi Yao, Mingming Li, Huimu Wang, Yangqi Zhang, Songlin ...
SHINE: Sequential Hierarchical Integration Network for EEG and MEG
How natural speech is represented in the brain constitutes a major challenge for cognitive neuroscience, with cortical envelope-following responses playing a central role in speech decoding. This p...
Xiran Xu, Yujie Yan, Xihong Wu, Jing Chen
The Vocabulary of Flaky Tests in the Context of SAP HANA
Background. Automated test execution is an important activity to gather information about the quality of a software project. So-called flaky tests, however, negatively affect this process. Such tes...
Alexander Berndt, Zoltán Nochta, Thomas Bach
Hierarchical Concept-based Interpretable Models
Modern deep neural networks remain challenging to interpret due to the opacity of their latent representations, impeding model understanding, debugging, and debiasing. Concept Embedding Models (CEM...
Oscar Hill, Mateo Espinosa Zarlenga, Mateja Jamnik
EDDA-Coordinata: An Annotated Dataset of Historical Geographic Coordinates
This paper introduces a dataset of enriched geographic coordinates retrieved from Diderot and d'Alembert's eighteenth-century Encyclopedie. Automatically recovering geographic coordinates from hist...
Ludovic Moncla, Pierre Nugues, Thierry Joliveau, Katherine McDonough
Benchmarking BERT-based Models for Sentence-level Topic Classification in Nepali Language
Transformer-based models such as BERT have significantly advanced Natural Language Processing (NLP) across many languages. However, Nepali, a low-resource language written in Devanagari script, rem...
Nischal Karki, Bipesh Subedi, Prakash Poudyal, Rupak Raj Ghimire, Bal Krishna Bal
Mixed Choice in Asynchronous Multiparty Session Types
We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state between distribu...
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson
Teleoperated Omni-directional Dual Arm Mobile Manipulation Robotic System with Shared Control for Retail Store
The swiftly expanding retail sector is increasingly adopting autonomous mobile robots empowered by artificial intelligence and machine learning algorithms to gain an edge in the competitive market....
Rolif Lima, Somdeb Saha, Nijil George, Vismay Vakharia, Shubham Parab, Sahil Gaonkar, Vighnesh Va...
Invariant-Driven Automated Testing
Microservice architectures are an emergent technology that builds business logic into a suite of small services. Each microservice runs in its process and the communication is made through lightwei...
Ana Catarina Ribeiro
Impact of non-standard neutrino-electron interactions on Big Bang Nucleosynthesis
Neutrino non-standard interactions (NSI) with electrons, predicted in many extended theoretical models of particle physics, are known to alter the picture of neutrino decoupling from the cosmic pla...
Stefano Gariazzo, Jaume Moncho, Sergio Pastor, Ofelia Pisanti
Online Bootstrap Inference for the Trend of Nonstationary Time Series
This article proposes an online bootstrap scheme for nonparametric level estimation in nonstationary time series. Our approach applies to a broad class of level estimators expressible as weighted s...
Thomas Nagler, Tobias Brock, Nicolai Palm
Automated selection of r for stationary and nonstationary models for r largest order statistics
In generalized extreme value model for the r largest order statistics, denoted by rGEV, the selection of r is critical. The existing entropy difference test for selecting r is applicable to large s...
Yire Shin, Jihong Park, Jeong-Soo Park