Research
In Progress
Logic-based Chain-of-Thought Reasoning with Transformers
Explaining Surgical AI Safety Guidance for Laparoscopic Cholecystectomy
Counterfactual Examples in Anomaly Detection
Preprints
GTX: Ground Truth eXplanation Dataset. Xiayan Ji, Anton Xue, Rajeev Alur, Oleg Sokolsky, Insup Lee, Eric Wong. Submitted, 2023. [GitHub]
Chordal Sparsity for SDP-Based Neural Network Verification. Anton Xue, Lars Lindemann, and Rajeev Alur. Submitted, 2023. [GitHub]
Bityr: A Pluggable Framework for Learning Types from Binaries. Chang Zhu, Ziyang Li, Anton Xue, Hanjun Dai, Mayur Naik, Rajeev Alur, Ruoyu Wang, Aravind Machiry. Submitted, 2023.
Conference Publications
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. Anton Xue, Rajeev Alur, and Eric Wong. Neural Information Processing Systems, 2023. [GitHub] [Blog post]
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George Pappas, and Rajeev Alur. IEEE Conference on Decision and Control, 2022. [GitHub]
Synchronization Schemas. Rajeev Alur, Phillip Hilliard, Zachary Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, and Anton Xue. Principles of Database Systems, 2021.
Safe Reinforcement Learning via Statistical Model Predictive Shielding. Osbsert Bastani, Shuo Li, Anton Xue. Robotics: Science and Systems, 2021.
Data-Driven System Leven Synthesis. Anton Xue and Nikolai Matni. Learning for Decision and Control, 2021. [GitHub]
A Self-certifying Compilation Framework for WebAssembly. Kedar Namjoshi and Anton Xue. Verification, Model Checking, and Abstract Interpretation, 2021. [GitHub]
G2Q: Haskell Constraint Solving. William Hallahan, Anton Xue, and Ruzica Piskac. Haskell Symposium, 2019. [GitHub]
Lazy Counterfactual Symbolic Execution. William Hallahan, Anton Xue, Maxwell Bland, Ranjit Jhala, and Ruzica Piskac. Programming Language Design and Implementation, 2019. [GitHub] [Video Abstract]