Chen, J., Bao, Q., Sun, C., Zhang, X., Chen, J., Zhou, H., Xiao, Y. and Li, L. (2022) “LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(10), pp. 10482-10491. doi: 10.1609/aaai.v36i10.21291.