{"list":"other","total":63,"rows":[{"id":"1810.04805","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","created":"2018-10-11","cited_by_count":40399},{"id":"1707.06347","title":"Proximal Policy Optimization Algorithms","created":"2017-07-20","cited_by_count":15215},{"id":"1412.6572","title":"Explaining and Harnessing Adversarial Examples","created":"2014-12-20","cited_by_count":7364},{"id":"1610.02391","title":"Grad-CAM: Visual Explanations from Deep Networks via Gradient-based Localization","created":"2016-10-07","cited_by_count":6733},{"id":"1705.07874","title":"A Unified Approach to Interpreting Model Predictions","created":"2017-05-22","cited_by_count":6555},{"id":"1602.04938","title":"\"Why Should I Trust You?\": Explaining the Predictions of Any Classifier","created":"2016-02-16","cited_by_count":5070},{"id":"1312.5602","title":"Playing Atari with Deep Reinforcement Learning","created":"2013-12-19","cited_by_count":3274},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1710.08864","title":"One pixel attack for fooling deep neural networks","created":"2017-10-24","cited_by_count":582},{"id":"2108.06266","title":"Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning","created":"2021-08-13","cited_by_count":371},{"id":"1701.07274","title":"Deep Reinforcement Learning: An Overview","created":"2017-01-25","cited_by_count":333},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1812.04608","title":"Metrics for Explainable AI: Challenges and Prospects","created":"2018-12-11","cited_by_count":260},{"id":"2103.06624","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","created":"2021-03-11","cited_by_count":228},{"id":"1903.06758","title":"Algorithms for Verifying Deep Neural Networks","created":"2019-03-15","cited_by_count":221},{"id":"1905.10958","title":"Explainable Reinforcement Learning Through a Causal Lens","created":"2019-05-27","cited_by_count":177},{"id":"1810.07862","title":"Applications of Deep Reinforcement Learning in Communications and Networking: A Survey","created":"2018-10-18","cited_by_count":167},{"id":"1811.10656","title":"Abduction-Based Explanations for Machine Learning Models","created":"2018-11-26","cited_by_count":160},{"id":"2005.06247","title":"Explainable Reinforcement Learning: A Survey","created":"2020-05-13","cited_by_count":141},{"id":"1805.03364","title":"A Symbolic Approach to Explaining Bayesian Network Classifiers","created":"2018-05-09","cited_by_count":131},{"id":"2001.11231","title":"Survey of Deep Reinforcement Learning for Motion Planning of Autonomous Vehicles","created":"2020-01-30","cited_by_count":110},{"id":"1703.00420","title":"Virtual-to-real Deep Reinforcement Learning: Continuous Control of Mobile Robots for Mapless Navigation","created":"2017-03-01","cited_by_count":98},{"id":"2008.06693","title":"Explainability in Deep Reinforcement Learning","created":"2020-08-15","cited_by_count":97},{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77},{"id":"2010.12265","title":"Model Interpretability through the Lens of Computational Complexity","created":"2020-10-23","cited_by_count":75},{"id":"2109.10317","title":"Introduction to Neural Network Verification","created":"2021-09-21","cited_by_count":63},{"id":"2008.05803","title":"Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay","created":"2020-08-13","cited_by_count":57},{"id":"1906.10395","title":"Quantitative Verification of Neural Networks And its Security Applications","created":"2019-06-25","cited_by_count":56},{"id":"2105.03640","title":"On Guaranteed Optimal Robust Explanations for NLP Models","created":"2021-05-08","cited_by_count":54},{"id":"2010.11034","title":"On Explaining Decision Trees","created":"2020-10-21","cited_by_count":49},{"id":"2011.02948","title":"An SMT-Based Approach for Verifying Binarized Neural Networks","created":"2020-11-05","cited_by_count":47},{"id":"1904.09959","title":"Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness","created":"2019-04-22","cited_by_count":40},{"id":"2105.06782","title":"SAT-Based Rigorous Explanations for Decision Lists","created":"2021-05-14","cited_by_count":40},{"id":"1910.02065","title":"Can I Trust the Explainer? Verifying Post-hoc Explanatory Methods","created":"2019-10-04","cited_by_count":38},{"id":"2202.07728","title":"Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis","created":"2022-02-15","cited_by_count":38},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37},{"id":"2004.08440","title":"Parallelization Techniques for Verifying Neural Networks","created":"2020-04-17","cited_by_count":36},{"id":"2104.01396","title":"Neural Network Robustness as a Verification Property: A Principled Case Study","created":"2021-04-03","cited_by_count":35},{"id":"2004.02082","title":"On Tractable Representations of Binary Neural Networks","created":"2020-04-05","cited_by_count":34},{"id":"2007.09527","title":"Abstraction based Output Range Analysis for Neural Networks","created":"2020-07-18","cited_by_count":34},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33},{"id":"2301.09937","title":"Explainable Deep Reinforcement Learning: State of the Art and Challenges","created":"2023-01-24","cited_by_count":33},{"id":"1907.02509","title":"On Validating, Repairing and Refining Heuristic ML Explanations","created":"2019-07-04","cited_by_count":32},{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30},{"id":"2004.02462","title":"Verifying Recurrent Neural Networks using Invariant Inference","created":"2020-04-06","cited_by_count":26},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24},{"id":"2210.15675","title":"Feature Necessity & Relevancy in ML Classifier Explanations","created":"2022-10-27","cited_by_count":23},{"id":"1904.02931","title":"Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces","created":"2019-04-05","cited_by_count":21},{"id":"1710.00486","title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks","created":"2017-10-02","cited_by_count":20},{"id":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20},{"id":"2301.07068","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","created":"2023-01-17","cited_by_count":19},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14},{"id":"2106.00546","title":"Efficient Explanations With Relevant Sets","created":"2021-06-01","cited_by_count":12},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12},{"id":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","cited_by_count":11},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11},{"id":"2303.03207","title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","created":"2023-03-06","cited_by_count":9},{"id":"1604.08229","title":"Propositional Abduction with Implicit Hitting Sets","created":"2016-04-27","cited_by_count":6},{"id":"2001.09245","title":"CounterExample Guided Neural Synthesis","created":"2020-01-25","cited_by_count":4},{"id":"2004.04198","title":"Bayesian Interpolants as Explanations for Neural Inferences","created":"2020-04-08","cited_by_count":1}],"next_cursor":null}