G2Q: Haskell constraint solving. - William T. Hallahan; Anton Xue; Ruzica Piskac (Haskell@ICFP, 2019)

Lazy counterfactual symbolic execution. - William T. Hallahan; Anton Xue; Maxwell Troy Bland; Ranjit Jhala; Ruzica Piskac (PLDI, 2019)

Data-Driven System Level Synthesis. - Anton Xue; Nikolai Matni (L4DC, 2021)

Synchronization Schemas. - Rajeev Alur; Phillip Hilliard; Zachary G. Ives; Konstantinos Kallas; Konstantinos Mamouras; Filip Niksic; Caleb Stanford; Val Tannen; Anton Xue (PODS, 2021)

A Self-certifying Compilation Framework for WebAssembly. - Kedar S. Namjoshi; Anton Xue (VMCAI, 2021)

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. - Anton Xue; Lars Lindemann; Alexander Robey; Hamed Hassani; George J. Pappas; Rajeev Alur (CDC, 2022)

Parametric Chordal Sparsity for SDP-based Neural Network Verification. - Anton Xue; Lars Lindemann; Rajeev Alur (CoRR, 2022)

Stability Guarantees for Feature Attributions with Multiplicative Smoothing. - Anton Xue; Rajeev Alur; Eric Wong 001 (NeurIPS, 2023)

AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. - Xiayan Ji; Anton Xue; Eric Wong 001; Oleg Sokolsky; Insup Lee 001 (NeurIPS, 2024)

TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. - Chang Zhu; Ziyang Li; Anton Xue; Ati Priya Bajaj; Wil Gibbs; Yibo Liu; Rajeev Alur; Tiffany Bao; Hanjun Dai; Adam Doupé; Mayur Naik; Yan Shoshitaishvili; et al. (USENIX Security Symposium, 2024)

Chordal sparsity for SDP-based neural network verification. - Anton Xue; Lars Lindemann; Rajeev Alur (Autom., 2024)

The FIX Benchmark: Extracting Features Interpretable to eXperts. - Helen Jin; Shreya Havaldar; Chaehyeon Kim; Anton Xue; Weiqiu You; Helen Qu; Marco Gatti; Daniel A. Hashimoto; Bhuvnesh Jain; Amin Madani; Masao Sako; Lyle H. Ungar; et al. (CoRR, 2024)

Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. - Anton Xue; Avishree Khare; Rajeev Alur; Surbhi Goel; Eric Wong 001 (ICLR, 2025)

On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning. - Thomas T. Zhang; Behrad Moniri; Ansh Nagwekar; Faraz Rahman; Anton Xue; Hamed Hassani; Nikolai Matni (CoRR, 2025)

Probabilistic Stability Guarantees for Feature Attributions. - Helen Jin; Anton Xue; Weiqiu You; Surbhi Goel; Eric Wong 001 (CoRR, 2025)

Probabilistic Soundness Guarantees in LLM Reasoning Chains. - Weiqiu You; Anton Xue; Shreya Havaldar; Delip Rao; Helen Jin; Chris Callison-Burch; Eric Wong 001 (CoRR, 2025)