Learning Reliable Logical Rules with SATNet

Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si. Learning Reliable Logical Rules with SATNet. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]

Authors

Zhaoyu Li

This author has not been identified. Look up 'Zhaoyu Li' in Google

Jinpei Guo

This author has not been identified. Look up 'Jinpei Guo' in Google

Yuhe Jiang

This author has not been identified. Look up 'Yuhe Jiang' in Google

Xujie Si

This author has not been identified. Look up 'Xujie Si' in Google