Probabilistic Stability Guarantees for Feature Attributions

Authors: Jin, Helen, Xue, Anton, You, Weiqiu, Goel, Surbhi, Wong, Eric

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2504.13787

On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning

Authors: Zhang, Thomas T., Moniri, Behrad, Nagwekar, Ansh, Rahman, Faraz, Xue, Anton, Hassani, Hamed, Matni, Nikolai

Subject Terms: Computer Science - Machine Learning, Mathematics - Optimization and Control, Statistics - Machine Learning

Access URL: http://arxiv.org/abs/2502.01763

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

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

Subject Terms: Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2410.24178

The FIX Benchmark: Extracting Features Interpretable to eXperts

Authors: Jin, Helen, Havaldar, Shreya, Kim, Chaehyeon, Xue, Anton, You, Weiqiu, Qu, Helen, Gatti, Marco, Hashimoto, Daniel A, Jain, Bhuvnesh, Madani, Amin, Sako, Masao, Ungar, Lyle, Wong, Eric

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2409.13684

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

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

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Cryptography and Security, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2407.00075

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

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

Source: 2022 IEEE 61st Conference on Decision and Control (CDC) Decision and Control (CDC), 2022 IEEE 61st Conference on. :3389-3396 Dec, 2022

Relation: 2022 IEEE 61st Conference on Decision and Control (CDC)

Stability Guarantees for Feature Attributions with Multiplicative Smoothing

Authors: Xue, Anton, Alur, Rajeev, Wong, Eric

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2307.05902

Chordal Sparsity for SDP-based Neural Network Verification

Authors: Xue, Anton, Lindemann, Lars, Alur, Rajeev

Subject Terms: Computer Science - Machine Learning, Mathematics - Optimization and Control

Access URL: http://arxiv.org/abs/2206.03482

Data-Driven System Level Synthesis

Authors: Xue, Anton, Matni, Nikolai

Subject Terms: Mathematics - Optimization and Control, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2011.10674

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.