Title
IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules Bishwamittra Ghosh Kuldeep S. Meel 58 34 0 07 Jan 2020
Universal Approximation with Certified Networks Maximilian Baader M. Mirman Martin Vechev 35 21 0 30 Sep 2019
Towards Explainable Artificial Intelligence Wojciech Samek K. Müller XAI 75 442 0 26 Sep 2019
Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability Ziliang Chen Zhanfu Yang NAI AI4CE 33 5 0 25 Sep 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 91 556 0 18 Jul 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 56 28 0 17 Jul 2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu Zikang Xiong Stephen Magill Suresh Jagannathan 58 97 0 16 Jul 2019
On Validating, Repairing and Refining Heuristic ML Explanations Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt LRM 51 63 0 04 Jul 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 59 105 0 25 Jun 2019
Deep Reasoning Networks: Thinking Fast and Slow Di Chen Yiwei Bai Wenting Zhao Sebastian Ament J. Gregoire Carla P. Gomes PINN LRM 44 24 0 03 Jun 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver Po-Wei Wang P. Donti Bryan Wilder Zico Kolter LRM NAI 78 262 0 29 May 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 165 98 0 24 May 2019
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 106 145 0 21 May 2019
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning Artur Garcez Marco Gori Luís C. Lamb Luciano Serafini Michael Spranger Son N. Tran NAI 106 292 0 15 May 2019
Optimal Sparse Decision Trees Xiyang Hu Cynthia Rudin Margo Seltzer 115 174 0 29 Apr 2019
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers Zhanfu Yang Fei Wang Ziliang Chen Guannan Wei Tiark Rompf NAI GNN 25 7 0 27 Apr 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications Chenglong Wang Rudy Bunel Krishnamurthy Dvijotham Po-Sen Huang Edward Grefenstette Pushmeet Kohli 52 5 0 26 Apr 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 129 249 0 26 Apr 2019
The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision Jiayuan Mao Chuang Gan Pushmeet Kohli J. Tenenbaum Jiajun Wu NAI 134 698 0 26 Apr 2019
On Learning to Prove Daniel Huang 13 3 0 24 Apr 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 185 428 0 02 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 62 121 0 12 Mar 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 54 65 0 07 Mar 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 78 54 0 05 Mar 2019
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers Saeed Amizadeh Sergiy Matusevych Markus Weimer AI4CE 58 20 0 05 Mar 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 57 44 0 25 Feb 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems T. Dreossi Daniel J. Fremont Shromona Ghosh Edward J. Kim H. Ravanbakhsh Marcell Vazquez-Chanlatte Sanjit A. Seshia 45 29 0 12 Feb 2019
Explanation in Human-AI Systems: A Literature Meta-Review, Synopsis of Key Ideas and Publications, and Bibliography for Explainable AI Shane T. Mueller R. Hoffman W. Clancey Abigail Emrey Gary Klein XAI 50 287 0 05 Feb 2019
Explaining Explanations to Society Leilani H. Gilpin Cecilia Testart Nathaniel Fruchter Julius Adebayo XAI 106 35 0 19 Jan 2019
Metrics for Explainable AI: Challenges and Prospects R. Hoffman Shane T. Mueller Gary Klein Jordan Litman XAI 80 727 0 11 Dec 2018
Verification of deep probabilistic models Krishnamurthy Dvijotham M. Garnelo Alhussein Fawzi Pushmeet Kohli 67 23 0 06 Dec 2018
MLIC: A MaxSAT-Based framework for learning interpretable classification rules Dmitry Malioutov Kuldeep S. Meel 46 44 0 05 Dec 2018
Challenging Common Assumptions in the Unsupervised Learning of Disentangled Representations Francesco Locatello Stefan Bauer Mario Lucic Gunnar Rätsch Sylvain Gelly Bernhard Schölkopf Olivier Bachem OOD 118 1,467 0 29 Nov 2018
Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt 57 225 0 26 Nov 2018
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 58 83 0 17 Nov 2018
Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon Yoshua Bengio Andrea Lodi Antoine Prouvost 153 1,389 0 15 Nov 2018
Explaining Explanations in AI Brent Mittelstadt Chris Russell Sandra Wachter XAI 93 666 0 04 Nov 2018
Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search Zhuwen Li Qifeng Chen V. Koltun GNN 94 475 0 25 Oct 2018
Concise Explanations of Neural Networks using Adversarial Training P. Chalasani Jiefeng Chen Aravind Sadagopan S. Jha Xi Wu AAML FAtt 109 13 0 15 Oct 2018
Local Explanation Methods for Deep Neural Networks Lack Sensitivity to Parameter Values Julius Adebayo Justin Gilmer Ian Goodfellow Been Kim FAtt AAML 49 128 0 08 Oct 2018
Adversarial Attacks and Defences: A Survey Anirban Chakraborty Manaar Alam Vishal Dey Anupam Chattopadhyay Debdeep Mukhopadhyay AAML OOD 73 679 0 28 Sep 2018
Neural Guided Constraint Logic Programming for Program Synthesis Lisa Zhang Gregory Rosenblatt Ethan Fetaya Renjie Liao William E. Byrd M. Might R. Urtasun R. Zemel NAI 91 30 0 08 Sep 2018
Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP Marcelo O. R. Prates Pedro H. C. Avelar Henrique Lemos Luís C. Lamb Moshe Y. Vardi GNN 58 177 0 08 Sep 2018
Structured Adversarial Attack: Towards General Implementation and Better Interpretability Kaidi Xu Sijia Liu Pu Zhao Pin-Yu Chen Huan Zhang Quanfu Fan Deniz Erdogmus Yanzhi Wang Xinyu Lin AAML 111 161 0 05 Aug 2018
Towards Neural Theorem Proving at Scale Pasquale Minervini Matko Bosnjak Tim Rocktaschel Sebastian Riedel LRM NAI 86 38 0 21 Jul 2018
Logistic Regression, Neural Networks and Dempster-Shafer Theory: a New Perspective Thierry Denoeux FAtt 42 118 0 05 Jul 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 88 110 0 02 Jun 2018
Explaining Explanations: An Overview of Interpretability of Machine Learning Leilani H. Gilpin David Bau Ben Z. Yuan Ayesha Bajwa Michael A. Specter Lalana Kagal XAI 93 1,857 0 31 May 2018
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules Víctor Gutiérrez-Basulto Steven Schockaert 82 69 0 26 May 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 50 70 0 25 May 2018