Finale Doshi-Velez and Been Kim. 2017. Towards
a rigorous science of interpretable machine
learning. ArXiv Preprint arXiv:1702.08608v2.
Angela Fan, Aleksandra Piktus, Fabio Petroni,
Guillaume Wenzek, Marzieh Saeidi, Andreas
Vlachos, Antoine Bordes, and Sebastian Riedel.
2020. Generating fact checking briefs. In Pro-
ceedings of the 2020 Conference on Empiri-
cal Methods in Natural Language Processing

(EMNLP), pages 7147–7161, Online. Associ-
ation for Computational Linguistics.

Yufei Feng, Zi’ou Zheng, Quan Liu, Michael
Greenspan, and Xiaodan Zhu. 2020. Explor-
ing end-to-end differentiable natural
logic
modeling. In Proceedings of the 28th Inter-
national Conference on Computational Lin-
guistics, pages 1172–1185, Barcelona, Spain
(Online). International Committee on Compu-
tational Linguistics. https://doi.org/10
.18653/v1/2020.coling-main.101
ProoFVer- Natural Logic Theorem Proving for Fact Verification