University of Toronto, Vector Institute, Mila; Shanghai Jiao Tong University; University of Toronto; University of Toronto, Vector Institute
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
Logical Reasoning;Rule Learning;Interpretation;SATNet
Learning Reliable Logical Rules with SATNet