2 citations
13 papers
Program Analysis for Adaptive Data Analysis
Jiawen Liu, Weihao Qu, Marco Gaboardi +2
Data analyses are usually designed to identify some property of the population from which the data are drawn, generalizing beyond the specific data sample. For this reason, data an…
A Unified Framework for Trajectory Prediction with Explicit Planning and Reaction Decomposition
Jiaheng Chen, Jiaxing Li, Tinghe Zhang +1
Trajectory prediction has shifted toward structured formulations with explicit social modeling. However, existing methods inadequately distinguish the functional roles of social in…
How Formerly Incarcerated People Envision Technologies for Prison Parole
Saiph Savage, Jesse Nava, Wanqing Iris Zhou +1
AI-driven algorithms and automated tools are increasingly embedded in the correctional landscape, shaping parole eligibility,release decisions, and surveillance. These tools are al…
On the completeness of contraction map proof method for holographic entropy inequalities
Ning Bao, Keiichiro Furuya, Joydeep Naskar
The paper proves that for any linear holographic entropy inequality with rational coefficients, the existence of a contraction map is not only sufficient but also necessary, by sho…
Toward Metaphor-Fluid Conversation Design for Voice User Interfaces
Smit Desai, Jessie Chin, Dakuo Wang +2
The paper proposes Metaphor-Fluid Design, a method that dynamically changes metaphorical representations in voice user interfaces to match different conversational contexts, and sh…
Efficiently Learning Branching Networks for Multitask Algorithmic Reasoning
Dongyue Li, Zhenshuo Zhang, Minxuan Duan +2
The paper proposes branching neural networks that automatically partition multiple algorithmic reasoning tasks into a hierarchical tree structure, enabling efficient multitask lear…