Chen, Jiangjie, et al. “LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 10, June 2022, pp. 10482-91, doi:10.1609/aaai.v36i10.21291.