1 citations · 1 across the 4 of their papers we have counts for
5 papers
Whiel: A Neurosymbolic Platform for Certified Relational Program Verification
Jesse Comer, Fangzhu Shen, Shuo Zhang +3
We present the Whiel (a contraction of Whi(le-R)el) system for Lean-certified reasoning about imperative relational programs. The system can encode containment and equivalence prob…
Selectivity Estimation for Linear Queries via Online Learning
Fangzhu Shen, Debmalya Panigrahi, Sudeepa Roy
Learning-based approaches for selectivity estimation in databases have gained significant traction in recent years. However, theoretical studies of these learning-based approaches…
Efficient Shapley-Based Influence Attribution in Social Networks
Fangzhu Shen, Amir Gilad, Sudeepa Roy
The ubiquity of social platforms has reshaped the way information, behaviors, and advertisements diffuse across networks, with influence propagation often initiated by a small set…
The Cost of Representation by Subset Repairs
Yuxi Liu, Fangzhu Shen, Kushagra Ghosh +3
Datasets may include errors, and specifically violations of integrity constraints, for various reasons. Standard techniques for ``minimal-cost'' database repairing resolve these vi…
Incentivized Exploration for Multi-Armed Bandits under Reward Drift
Zhiyuan Liu, Huazheng Wang, Fan Shen +2
We study incentivized exploration for the multi-armed bandit (MAB) problem where the players receive compensation for exploring arms other than the greedy choice and may provide bi…