On guaranteed optimal robust explanations for NLP models

On guaranteed optimal robust explanations for NLP models

We build on abduction-based explanations for machine learning and develop a method for computing local explanations for neural network models in natural language processing (NLP). Our explanations comprise a subset of the words of the input text that satisfies two key features: optimality w.r.t. a u...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	La Malfa, E, Michelmore, R, Zbrzezny, AM, Paoletti, N, Kwiatkowska, M
বিন্যাস:	Conference item
ভাষা:	English
প্রকাশিত:	International Joint Conferences on Artificial Intelligence 2021

অনুরূপ উপাদানগুলি

Statistical guarantees for the robustness of Bayesian neural networks
অনুযায়ী: Cardelli, L, অন্যান্য
প্রকাশিত: (2019)

Towards Faithful Model Explanation in NLP: A Survey
অনুযায়ী: Qing Lyu, অন্যান্য
প্রকাশিত: (2024-07-01)

Explanation-Based Human Debugging of NLP Models: A Survey
অনুযায়ী: Piyawat Lertvittayakumjorn, অন্যান্য
প্রকাশিত: (2021-01-01)

Robustness guarantees for deep neural networks on videos
অনুযায়ী: Kwiatkowska, M, অন্যান্য
প্রকাশিত: (2020)

Safety and robustness for deep learning with provable guarantees (keynote)
অনুযায়ী: Kwiatkowska, M
প্রকাশিত: (2019)

The king is naked: On the notion of robustness for natural language processing
অনুযায়ী: La Malfa, E, অন্যান্য
প্রকাশিত: (2022)

Adversarial robustness guarantees for Gaussian processes
অনুযায়ী: Patane, A, অন্যান্য
প্রকাশিত: (2022)

Robustness guarantees for Bayesian inference with Gaussian processes
অনুযায়ী: Cardelli, L, অন্যান্য
প্রকাশিত: (2019)

Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
অনুযায়ী: Kwiatkowska, M
প্রকাশিত: (2020)

Provable guarantees on the robustness of decision rules to causal interventions
অনুযায়ী: Wang, B, অন্যান্য
প্রকাশিত: (2021)

Probabilistic Guarantees in Robust Optimization
অনুযায়ী: Bertsimas, Dimitris, অন্যান্য
প্রকাশিত: (2022)

Adversarial robustness guarantees for classification with Gaussian Processes
অনুযায়ী: Blaas, A, অন্যান্য
প্রকাশিত: (2020)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
অনুযায়ী: Michelmore, R, অন্যান্য
প্রকাশিত: (2020)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
অনুযায়ী: Kwiatkowska, M
প্রকাশিত: (2022)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
অনুযায়ী: Wijk, H, অন্যান্য
প্রকাশিত: (2022)

Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees
অনুযায়ী: Shao, D, অন্যান্য
প্রকাশিত: (2023)

Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
অনুযায়ী: Ruan, W, অন্যান্য
প্রকাশিত: (2019)

Efficient synthesis of robust models for stochastic systems
অনুযায়ী: Calinescu, R, অন্যান্য
প্রকাশিত: (2018)

On robustness for natural language processing
অনুযায়ী: La Malfa, E
প্রকাশিত: (2023)

Robust optimization for adversarial learning with finite sample complexity guarantees
অনুযায়ী: Bertolace, A, অন্যান্য
প্রকাশিত: (2024)

Guaranteed robustness properties of multivariable, nonlinear, stochastic optimal regulators
প্রকাশিত: (2003)

Robust Sampling-based Motion Planning with Asymptotic Optimality Guarantees
অনুযায়ী: Karaman, Sertac, অন্যান্য
প্রকাশিত: (2013)

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
অনুযায়ী: Agnieszka Zbrzezny, অন্যান্য
প্রকাশিত: (2015-12-01)

nlp /
অনুযায়ী: Bavister, Steve, author 555926, অন্যান্য
প্রকাশিত: (2004)

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
অনুযায়ী: Agnieszka M. Zbrzezny, অন্যান্য
প্রকাশিত: (2022-12-01)

Assessing robustness of text classification through maximal safe radius computation
অনুযায়ী: La Malfa, E, অন্যান্য
প্রকাশিত: (2020)

Safety verification for deep neural networks with provable guarantees
অনুযায়ী: Kwiatkowska, M
প্রকাশিত: (2019)

Robust Variable Selection with Optimality Guarantees for High-Dimensional Logistic Regression
অনুযায়ী: Luca Insolia, অন্যান্য
প্রকাশিত: (2021-08-01)

Distributed robust Lasso-MPC based on Nash optimization for smart grid: Guaranteed robustness and stability
অনুযায়ী: Hossein Ahmadian, অন্যান্য
প্রকাশিত: (2024-11-01)

NLP City
অনুযায়ী: Nguyen, Thanh P. Q.
প্রকাশিত: (2024)

Essential NLP /
অনুযায়ী: Bavister, Steve, author 555926, অন্যান্য
প্রকাশিত: (2010)

SUCCESSFUL NLP /
অনুযায়ী: Lazarus, Jeremy, author 651739
প্রকাশিত: (2010)

Individual fairness guarantees for neural networks
অনুযায়ী: Benussi, E, অন্যান্য
প্রকাশিত: (2022)

RODES: A robust-design synthesis tool for probabilistic systems
অনুযায়ী: Calinescu, R, অন্যান্য
প্রকাশিত: (2017)

Robust pose estimation which guarantees positive depths
অনুযায়ী: Chun Li, অন্যান্য
প্রকাশিত: (2023-12-01)

Reduced-order neural network synthesis with robustness guarantees
অনুযায়ী: Drummond, R, অন্যান্য
প্রকাশিত: (2022)

The pipeline processing of NLP
অনুযায়ী: Elov B. B., অন্যান্য
প্রকাশিত: (2023-01-01)

Dimensions of Explanatory Value in NLP Models
অনুযায়ী: Kees van Deemter
প্রকাশিত: (2023-12-01)

Towards solving NLP tasks with optimal transport loss
অনুযায়ী: Rishabh Bhardwaj, অন্যান্য
প্রকাশিত: (2022-11-01)

Robustness evaluation of deep neural networks with provable guarantees
অনুযায়ী: Wu, M
প্রকাশিত: (2020)