Follow
Anton Xue
Title
Cited by
Cited by
Year
Data-Driven System Level Synthesis
A Xue, N Matni
Learning for Dynamics and Control, 189-200, 2021
452021
Safe Reinforcement Learning via Statistical Model Predictive Shielding
O Bastani, S Li, A Xue
Robotics: Science and Systems, 1-13, 2021
412021
Lazy Counterfactual Symbolic Execution
WT Hallahan, A Xue, MT Bland, R Jhala, R Piskac
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
262019
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
A Xue, L Lindemann, A Robey, H Hassani, GJ Pappas, R Alur
2022 IEEE 61st Conference on Decision and Control (CDC), 3389-3396, 2022
182022
G2Q: Haskell Constraint Solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
82019
A Self-Certifying Compilation Framework for WebAssembly
KS Namjoshi, A Xue
Proceedings of the International Conference on Verification, Model Checking …, 2021
72021
Synchronization Schemas
R Alur, P Hilliard, ZG Ives, K Kallas, K Mamouras, F Niksic, C Stanford, ...
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021
62021
Building a Symbolic Execution Engine for Haskell
W Hallahan, A Xue, R Piskac
Proceedings of the 8th Workshop on Tools for Automatic Program Analysis …, 2017
52017
Chordal Sparsity for SDP-based Neural Network Verification
A Xue, L Lindemann, R Alur
Automatica, 2024
4*2024
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
A Xue, R Alur, E Wong
Advances in Neural Information Processing Systems 36, 2024
32024
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
X Ji, A Xue, E Wong, O Sokolsky, I Lee
arXiv preprint arXiv:2410.24178, 2024
2024
The FIX Benchmark: Extracting Features Interpretable to eXperts
H Jin, S Havaldar, C Kim, A Xue, W You, H Qu, M Gatti, DA Hashimoto, ...
arXiv preprint arXiv:2409.13684, 2024
2024
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
A Xue, A Khare, R Alur, S Goel, E Wong
arXiv preprint arXiv:2407.00075, 2024
2024
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
C Zhu, Z Li, A Xue, AP Bajaj, W Gibbs, Y Liu, R Alur, T Bao, H Dai, ...
2024
The system can't perform the operation now. Try again later.
Articles 1–14