Title
RLSF: Reinforcement Learning via Symbolic Feedback Piyush Jha Prithwish Jana Arnav Arora Vijay Ganesh LRM 36 3 0 26 May 2024
Logic Guided Genetic Algorithms D. Ashok Joseph Scott S. J. Wetzel Maysum Panju Vijay Ganesh 6 12 0 21 Oct 2020
Learning Conceptual Space Representations of Interrelated Concepts Zied Bouraoui Steven Schockaert SSL 18 14 0 03 May 2018
Methods for Interpreting and Understanding Deep Neural Networks G. Montavon Wojciech Samek K. Müller FaML 234 2,233 0 24 Jun 2017
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 54 209 0 24 May 2017
Learning Certifiably Optimal Rule Lists for Categorical Data E. Angelino Nicholas Larus-Stone Daniel Alabi Margo Seltzer Cynthia Rudin 46 196 0 06 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016