Research

In Progress

• Making LLMs reason better by using logic to rewrite prompts.

• Integrating classical logic decision algorithms with LLMs.

• Better optimization algorithms for representation learning.

• I am a developer on BachioLab’s exlib.

Preprints

• Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. Anton Xue*, Avishree Khare*, Rajeev Alur, Surbhi Goel, Eric Wong. In submission, 2024. [GitHub] [Blog post]

• 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 Ungar, Eric Wong. In submission, 2024. [GitHub]

Publications

• AR-Pro: Anomaly Explanation and Repair with Formal Properties. Xiayan Ji*, Anton Xue*, Eric Wong, Oleg Sokolsky, Insup Lee. Neural Information Processing Systems, 2024.

• TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, William Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, and Aravind Machiry. USENIX Security, 2024.

• Chordal Sparsity for SDP-Based Neural Network Verification. Anton Xue, Lars Lindemann, and Rajeev Alur. Automatica, 2024. [GitHub]

• 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. Osbert Bastani, Shuo Li, Anton Xue. Robotics: Science and Systems, 2021.

• Data-Driven System Level 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]