使用 SATNet 学习可靠的逻辑规则

该文介绍了一种通过SATNet学习可解释逻辑规则的方法，实现了逻辑推理和深度学习的交互。该方法通过可区分性学习生成可解释和可验证的逻辑规则，并引入验证技术进行验证。