Anton Xue

29 papers A* 8B 1Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
AnCoder: Anchored Code Generation via Discrete Diffusion Models.
CoRR
Anton Xue, Litu Rout, Constantine Caramanis, Sanjay Shakkottai
2026 J jnl
Missingness Bias Calibration in Feature Attribution Explanations.
CoRR
Shailesh Sridhar, Anton Xue, Eric Wong
2026 J jnl
The Transformer Cookbook.
Trans. Mach. Learn. Res.
Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, David Chiang
2025 A* conf
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference.
ICLR
Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
2025 A* conf
On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning.
ICML
Thomas T. C. K. Zhang, Behrad Moniri, Ansh Nagwekar, Faraz Rahman, Anton Xue, Hamed Hassani, Nikolai Matni
2025 J jnl
On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning.
CoRR
Thomas T. Zhang, Behrad Moniri, Ansh Nagwekar, Faraz Rahman, Anton Xue, Hamed Hassani, Nikolai Matni
2025 A* conf
Probabilistic Soundness Guarantees in LLM Reasoning Chains.
EMNLP
Weiqiu You, Anton Xue, Shreya Havaldar, Delip Rao, Helen Jin, Chris Callison-Burch, Eric Wong
2025 J jnl
Probabilistic Soundness Guarantees in LLM Reasoning Chains.
CoRR
Weiqiu You, Anton Xue, Shreya Havaldar, Delip Rao, Helen Jin, Chris Callison-Burch, Eric Wong
2025 J jnl
Probabilistic Stability Guarantees for Feature Attributions.
CoRR
Helen Jin, Anton Xue, Weiqiu You, Surbhi Goel, Eric Wong
2025 J jnl
T-FIX: Text-Based Explanations with Features Interpretable to eXperts.
CoRR
Shreya Havaldar, Helen Jin, Chaehyeon Kim, Anton Xue, Weiqiu You, Marco Gatti, Bhuvnesh Jain, Helen Qu, Daniel A. Hashimoto, Amin Madani, Rajat Deo, Sameed Ahmed M. Khatana, Gary E. Weissman, Lyle H. Ungar, Eric Wong
2025 J jnl
The FIX Benchmark: Extracting Features Interpretable to eXperts.
J. Data-centric Mach. Learn. Res.
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
2025 J jnl
The Transformer Cookbook.
CoRR
Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, David Chiang
2024 A* conf
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties.
NeurIPS
Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024 J jnl
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties.
CoRR
Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024 J jnl
Chordal sparsity for SDP-based neural network verification.
Autom.
Anton Xue, Lars Lindemann, Rajeev Alur
2024 J jnl
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference.
CoRR
Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
2024 A* conf
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.
USENIX Security Symposium
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
2024 J jnl
The FIX Benchmark: Extracting Features Interpretable to eXperts.
CoRR
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
2023 A* conf
Stability Guarantees for Feature Attributions with Multiplicative Smoothing.
NeurIPS
Anton Xue, Rajeev Alur, Eric Wong
2023 J jnl
Stability Guarantees for Feature Attributions with Multiplicative Smoothing.
CoRR
Anton Xue, Rajeev Alur, Eric Wong
2022 — conf
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.
CDC
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022 J jnl
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.
CoRR
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022 J jnl
Parametric Chordal Sparsity for SDP-based Neural Network Verification.
CoRR
Anton Xue, Lars Lindemann, Rajeev Alur
2021 B conf
A Self-certifying Compilation Framework for WebAssembly.
VMCAI
Kedar S. Namjoshi, Anton Xue
2021 — conf
Data-Driven System Level Synthesis.
L4DC
Anton Xue, Nikolai Matni
2021 A* conf
Synchronization Schemas.
PODS
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2020 J jnl
Data-Driven System Level Synthesis.
CoRR
Anton Xue, Nikolai Matni
2019 — conf
G2Q: Haskell constraint solving.
Haskell@ICFP
William T. Hallahan, Anton Xue, Ruzica Piskac
2019 A* conf
Lazy counterfactual symbolic execution.
PLDI
William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac