Papers
Research papers from arXiv and related sources
EgoAVFlow: Robot Policy Learning with Active Vision from Human Egocentric Videos via 3D Flow
Egocentric human videos provide a scalable source of manipulation demonstrations; however, deploying them on robots requires active viewpoint control to maintain task-critical visibility, which hum...
Daesol Cho, Youngseok Jang, Danfei Xu, Sehoon Ha
CWM: Contrastive World Models for Action Feasibility Learning in Embodied Agent Pipelines
A reliable action feasibility scorer is a critical bottleneck in embodied agent pipelines: before any planning or reasoning occurs, the agent must identify which candidate actions are physically ex...
Chayan Banerjee
From Bias to Balance: Fairness-Aware Paper Recommendation for Equitable Peer Review
Despite frequent double-blind review, systemic biases related to author demographics still disadvantage underrepresented groups. We start from a simple hypothesis: if a post-review recommender is t...
Uttamasha Anjally Oyshi, Susan Gauch
LoBoost: Fast Model-Native Local Conformal Prediction for Gradient-Boosted Trees
Gradient-boosted decision trees are among the strongest off-the-shelf predictors for tabular regression, but point predictions alone do not quantify uncertainty. Conformal prediction provides distr...
Vagner Santos, Victor Coscrato, Luben Cabezas, Rafael Izbicki, Thiago Ramos
Calibrated Test-Time Guidance for Bayesian Inference
Test-time guidance is a widely used mechanism for steering pretrained diffusion models toward outcomes specified by a reward function. Existing approaches, however, focus on maximizing reward rathe...
Daniel Geyfman, Felix Draxler, Jan Groeneveld, Hyunsoo Lee, Theofanis Karaletsos, Stephan Mandt
HubScan: Detecting Hubness Poisoning in Retrieval-Augmented Generation Systems
Retrieval-Augmented Generation (RAG) systems are essential to contemporary AI applications, allowing large language models to obtain external knowledge via vector similarity search. Nevertheless, t...
Idan Habler, Vineeth Sai Narajala, Stav Koren, Amy Chang, Tiffany Saade
Exploring Human Behavior During Abstract Rule Inference and Problem Solving with the Cognitive Abstraction and Reasoning Corpus
Humans exhibit remarkable flexibility in abstract reasoning, and can rapidly learn and apply rules from sparse examples. To investigate the cognitive strategies underlying this ability, we introduc...
Caroline Ahn, Quan Do, Leah Bakst, Michael P. Pascale, Joseph T. McGuire, Michael E. Hasselmo, Ch...
WHOLE: World-Grounded Hand-Object Lifted from Egocentric Videos
Egocentric manipulation videos are highly challenging due to severe occlusions during interactions and frequent object entries and exits from the camera view as the person moves. Current methods ty...
Yufei Ye, Jiaman Li, Ryan Rong, C. Karen Liu
Hybrid Consensus with Quantum Sybil Resistance
Sybil resistance is a key requirement of decentralized consensus protocols. It is achieved by introducing a scarce resource (such as computational power, monetary stake, disk space, etc.), which pr...
Dar Gilboa, Siddhartha Jain, Or Sattath
GUI-Libra: Training Native GUI Agents to Reason and Act with Action-aware Supervision and Partially Verifiable RL
Open-source native GUI agents still lag behind closed-source systems on long-horizon navigation tasks. This gap stems from two limitations: a shortage of high-quality, action-aligned reasoning data...
Rui Yang, Qianhui Wu, Zhaoyang Wang, Hanyang Chen, Ke Yang, Hao Cheng, Huaxiu Yao, Baoling Peng, ...
UC-Secure Star DKG for Non-Exportable Key Shares with VSS-Free Enforcement
Distributed Key Generation (DKG) lets parties derive a common public key while keeping the signing key secret-shared. UC-secure DKG requires a verifiable-sharing enforcement layer -- classically sa...
Vipin Singh Sehrawat
Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
Cardiovascular disease (CVD) remains one of the leading global health challenges, accounting for more than 19 million deaths worldwide. To address this, several tools that aim to predict CVD risk a...
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas, Diogo E. Rolim, Thiago Alves Roc...
Searches for new physics beyond the Standard Model in hyperon sector
Hyperon physics offers a distinctive laboratory for probing the intensity frontier and searching for physics beyond the Standard Model. This review summarizes recent results from the BESIII experim...
Jianyu Zhang, Jinlin Fu, Hai-Bo Li
Don't stop me now: Rethinking Validation Criteria for Model Parameter Selection
Despite the extensive literature on training loss functions, the evaluation of generalization on the validation set remains underexplored. In this work, we conduct a systematic empirical and statis...
Andrea Apicella, Francesco Isgrò, Andrea Pollastro, Roberto Prevete
PASTA: A Modular Program Analysis Tool Framework for Accelerators
The increasing complexity and diversity of hardware accelerators in modern computing systems demand flexible, low-overhead program analysis tools. We present PASTA, a low-overhead and modular Progr...
Mao Lin, Hyeran Jeon, Keren Zhou
Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
Plans often change due to changes in the situation or our understanding of the situation. Sometimes, a feasible plan may not even exist, and identifying such infeasibilities is useful to determine ...
Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial, Neil T. Dantam
RustyDL: A Program Logic for Rust
Rust is a modern programming language that guarantees memory safety and the absence of data races with a strong type system. We present RustyDL, a program logic for Rust, as a foundation for an aut...
Daniel Drodt, Reiner Hähnle
Pools as Portfolios: Observed arbitrage efficiency & LVR analysis of dynamic weight AMMs
Dynamic-weight AMMs (aka Temporal Function Market Makers, TFMMs) implement algorithmic asset allocation, analogous to index or smart beta funds, by continuously updating pools' weights. A strategy ...
Matthew Willetts, Christian Harrington
AutoSew: A Geometric Approach to Stitching Prediction with Graph Neural Networks
Automating garment assembly from sewing patterns remains a significant challenge due to the lack of standardized annotation protocols and the frequent absence of semantic cues. Existing methods oft...
Pablo Ríos-Navarro, Elena Garces, Jorge Lopez-Moreno
SPGen: Stochastic scanpath generation for paintings using unsupervised domain adaptation
Understanding human visual attention is key to preserving cultural heritage We introduce SPGen a novel deep learning model to predict scanpaths the sequence of eye movementswhen viewers observe pai...
Mohamed Amine Kerkouri, Marouane Tliba, Aladine Chetouani, Alessandro Bruno