Kalyanpur, A., Breloff, T. and Ferrucci, D. A. (2022) “Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(10), pp. 10867-10874. doi: 10.1609/aaai.v36i10.21333.