Juri Ganitkevitch, Benjamin Van Durme, and
Chris Callison-Burch. 2013. PPDB: The para-
phrase database. In Proceedings of the 2013
Conference of the North American Chapter of
the Association for Computational Linguistics:
Human Language Technologies, pages 758–764,
Atlanta, Georgia. Association for Computa-
tional Linguistics.

Xiaochuang Han, Byron C. Wallace, and Yulia
Tsvetkov. 2020. Explaining black box pre-
dictions and unveiling data artifacts through
influence functions. In Proceedings of the 58th
Annual Meeting of the Association for Compu-
tational Linguistics, pages 5553–5563, Online.
Association for Computational Linguistics.

Andreas Hanselowski, Christian Stab, Claudia
Schulz, Zile Li, and Iryna Gurevych. 2019.
A richly annotated corpus for different tasks
in automated fact-checking. In Proceedings of
the 23rd Conference on Computational Natural
Language Learning (CoNLL), pages 493–503,

1026
ProoFVer- Natural Logic Theorem Proving for Fact Verification