14 citations · 20 across the 4 of their papers we have counts for
4 papers · 1 filter
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Zhaoyu Li, Xujie Si
We present the Neural Satisfiability Network (NSNet), a general neural framework that models satisfiability problems as probabilistic inference and meanwhile exhibits proper explai…
Techniques for Symbol Grounding with SATNet
Sever Topan, David Rolnick, Xujie Si
Many experts argue that the future of artificial intelligence is limited by the field's ability to integrate symbolic logical reasoning into deep learning architectures. The recent…
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
Xujie Si, Yujia Li, Vinod Nair +1
We propose prioritized unit propagation with periodic resetting, which is a simple but surprisingly effective algorithm for solving random SAT instances that are meant to be hard.…
Synthesizing Datalog Programs Using Numerical Relaxation
Xujie Si, Mukund Raghothaman, Kihong Heo +1
The problem of learning logical rules from examples arises in diverse fields, including program synthesis, logic programming, and machine learning. Existing approaches either invol…