1 citations · 1 across the 3 of their papers we have counts for
4 papers
Certifiable Robustness for Nearest Neighbor Classifiers
Austen Z. Fan, Paraschos Koutris
ML models are typically trained using large datasets of high quality. However, training datasets often contain inconsistent or incomplete data. To tackle this issue, one solution i…
Bipartite 3-Regular Counting Problems with Mixed Signs
Jin-Yi Cai, Austen Z. Fan, Yin Liu
We prove a complexity dichotomy for a class of counting problems expressible as bipartite 3-regular Holant problems. For every problem of the form $\operatorname{Holant}\left(f\mid…
A Prioritized Trajectory Planning Algorithm for Connected and Automated Vehicle Mandatory Lane Changes
Nachuan Li, Austen Z. Fan, Riley Fischer +2
We introduce a prioritized system-optimal algorithm for mandatory lane change (MLC) behavior of connected and automated vehicles (CAV) from a dedicated lane. Our approach applies a…
Dichotomy Result on 3-Regular Bipartite Non-negative Functions
Austen Z. Fan, Jin-Yi Cai
We prove a complexity dichotomy theorem for a class of Holant problems on 3-regular bipartite graphs. Given an arbitrary nonnegative weighted symmetric constraint function $f = [x_…