Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting

4 April 2019

Papers citing "Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting"

4 / 4 papers shown

Title
A Novel Neural-symbolic System under Statistical Relational Learning Dongran Yu Xueyan Liu Shirui Pan Anchen Li Bo Yang AI4CE NAI 19 1 0 16 Sep 2023
Graph Neural Networks for Propositional Model Counting Gaia Saveri Luca Bortolussi NAI LRM 23 2 0 09 May 2022
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 37 352 0 18 Feb 2021
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 39 77 0 06 Oct 2020