Anton Xue

According to our database, Anton Xue authored at least 14 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, February, 2025

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, Eric Wong

CoRR, 2024

Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference.

Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong

CoRR, 2024

Chordal sparsity for SDP-based neural network verification.

Anton Xue, Lars Lindemann, Rajeev Alur

Autom., 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, Ruoyu Wang, Aravind Machiry

Proceedings of the 33rd USENIX Security Symposium, 2024

AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties.

Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Stability Guarantees for Feature Attributions with Multiplicative Smoothing.

Anton Xue, Rajeev Alur, Eric Wong

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Parametric Chordal Sparsity for SDP-based Neural Network Verification.

Anton Xue, Lars Lindemann, Rajeev Alur

CoRR, 2022

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.

Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

A Self-certifying Compilation Framework for WebAssembly.

Kedar S. Namjoshi, Anton Xue

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Data-Driven System Level Synthesis.

Anton Xue, Nikolai Matni

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

2019

Lazy counterfactual symbolic execution.

William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

G2Q: Haskell constraint solving.

William T. Hallahan, Anton Xue, Ruzica Piskac

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019