Liu, A.; Xu, H.; Van den Broeck, G.; Liang, Y. Out-of-Distribution Generalization by Neural-Symbolic Joint Training. AAAI 2023, 37, 12252-12259.