Papers
Research papers from arXiv and related sources
PAuth - Precise Task-Scoped Authorization For Agents
The emerging agentic web envisions AI agents that reliably fulfill users' natural-language (NL)-based tasks by interacting with existing web services. However, existing authorization models are mis...
Reshabh K Sharma, Linxi Jiang, Zhiqiang Lin, Shuo Chen
Quadratic Surrogate Attractor for Particle Swarm Optimization
This paper presents a particle swarm optimization algorithm that leverages surrogate modeling to replace the conventional global best solution with the minimum of an n-dimensional quadratic form, p...
Maurizio Clemente, Marcello Canova
Energy Flow Graph: Modeling Software Energy Consumption
The growing energy demands of computational systems necessitate a fundamental shift from performance-centric design to one that treats energy consumption as one of the primary design considerations...
Saurabhsingh Rajput, Tushar Sharma
Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
Agentic AI systems can now generate code with remarkable fluency, but a fundamental question remains: \emph{does the generated code actually do what the user intended?} The gap between informal nat...
Shuvendu K. Lahiri
Multilingual Reference Need Assessment System for Wikipedia
Wikipedia is a critical source of information for millions of users across the Web. It serves as a key resource for large language models, search engines, question-answering systems, and other Web-...
Aitolkyn Baigutanova, Francisco Navas, Pablo Aragon, Mykola Trokhymovych, Muniza Aslam, Ai-Jou Ch...
SLSim: a strong lensing population simulation package
Gravitational lensing offers unique insights into cosmology by bending light around massive objects. Strong gravitational lensing, in particular, produces magnified and often multiple images of dis...
Narayan Khadka, Simon Birrer, Henry Best, Paras Sharma, Katsuya T. Abe, Xianzhe Tang, Carly Misti...
A Longitudinal Study of Usability in Identity-Based Software Signing
Identity-based software signing tools aim to make software artifact provenance verifiable while reducing the operational burden of long-lived key management. However, there is limited cross-tool lo...
Kelechi G. Kalu, Hieu Tran, Santiago Torres-Arias, Sooyeon Jeong, James C. Davis
Upward Book Embeddings of Partitioned Digraphs
In 1999, Heath, Pemmaraju, and Trenk [SIAM J. Comput. 28(4), 1999] extended the classic notion of book embeddings to digraphs, introducing the concept of upward book embeddings, in which the vertic...
Giordano Da Lozzo, Fabrizio Frati, Ignaz Rutter
Hidden Clones: Exposing and Fixing Family Bias in Vision-Language Model Ensembles
Ensembling Vision-Language Models (VLMs) from different providers maximizes benchmark accuracy, yet models from the same architectural family share correlated errors that standard voting ignores. W...
Zacharie Bugaud
On Big-M Reformulations of Bilevel Linear Programs: Hardness of A Posteriori Verification
A standard approach to solving optimistic bilevel linear programs (BLPs) is to replace the lower-level problem with its Karush-Kuhn-Tucker (KKT) optimality conditions and reformulate the resulting ...
Sergey S. Ketkov, Oleg A. Prokopyev
How Proxy Race Distorts Regression-Based Fairness Audits
Proxy-based race inference is increasingly used to conduct fairness assessments when protected-class data are unavailable or legally restricted -- most prominently in U.S. fair-lending enforcement,...
Xi Xin, Giles Hooker, Fei Huang
Vectorization of Verilog Designs and its Effects on Verification and Synthesis
Vectorization is a compiler optimization that replaces multiple operations on scalar values with a single operation on vector values. Although common in traditional compilers such as rustc, clang, ...
Maria Fernanda Oiveira Guimarães, Ulisses Rosa, Ian Trudel, João Victor Amorim Vieira, Augusto Am...
Topological inference on brain networks with application to lesion symptom mapping
Persistent homology (PH) characterizes the shape of brain networks through persistence features. Group comparison of persistence features from brain networks can be challenging as they are inherent...
Yuan Wang, Jian Yin, Nicholas Riccardi, Drik-Bart Den Ouden, Julius Fridriksson, Rutvik H. Desai
SocialOmni: Benchmarking Audio-Visual Social Interactivity in Omni Models
Omni-modal large language models (OLMs) redefine human-machine interaction by natively integrating audio, vision, and text. However, existing OLM benchmarks remain anchored to static, accuracy-cent...
Tianyu Xie, Jinfa Huang, Yuexiao Ma, Rongfang Luo, Yan Yang, Wang Chen, Yuhui Zeng, Ruize Fang, Y...
Long-Horizon Traffic Forecasting via Incident-Aware Conformal Spatio-Temporal Transformers
Reliable multi-horizon traffic forecasting is challenging because network conditions are stochastic, incident disruptions are intermittent, and effective spatial dependencies vary across time-of-da...
Mayur Patil, Qadeer Ahmed, Shawn Midlam-Mohler, Stephanie Marik, Allen Sheldon, Rajeev Chhajer, N...
BrickSim: A Physics-Based Simulator for Manipulating Interlocking Brick Assemblies
Interlocking brick assemblies provide a standardized yet challenging testbed for contact-rich and long-horizon robotic manipulation, but existing rigid-body simulators do not faithfully capture sna...
Haowei Wen, Ruixuan Liu, Weiyi Piao, Siyu Li, Changliu Liu
Complex Wannier centers and drifting Wannier functions in non-Hermitian Hamiltonians
The extension of topological band theory to non-Hermitian Hamiltonians with line energy gaps remains largely unexplored, despite early indications of rich underlying physics. In this setting, Wilso...
Pedro Fittipaldi de Castro, Wladimir A. Benalcazar
Conditional Distributional Treatment Effects: Doubly Robust Estimation and Testing
Beyond conditional average treatment effects, treatments may impact the entire outcome distribution in covariate-dependent ways, for example, by altering the variance or tail risks for specific sub...
Saksham Jain, Alex Luedtke
Measurement-Based Estimation of Causal Conditional Variances and Its Application to Macroscopic quantum phenomenon
We analytically investigate a quantum estimation method for a mechanical oscillator in a detuned cavity system based solely on homodyne measurement records, building on the framework developed by C...
Kosei Hatakeyama, Ryotaro Fukuzumi, Akira Matsumura, Daisuke Miki, Kazuhiro Yamamoto
High-Dimensional Gaussian Mean Estimation under Realizable Contamination
We study mean estimation for a Gaussian distribution with identity covariance in $\mathbb{R}^d$ under a missing data scheme termed realizable $ε$-contamination model. In this model an adversary can...
Ilias Diakonikolas, Daniel M. Kane, Thanasis Pittas