Alan Akbik, Tanja Bergmann, Duncan Blythe,
Kashif Rasul, Stefan Schweter, and Roland
Vollgraf. 2019. FLAIR: An easy-to-use frame-
work for state-of-the-art NLP. In Proceedings
of the 2019 Conference of the North American
Chapter of the Association for Computational
Linguistics (Demonstrations), pages 54–59,
Minneapolis, Minnesota. Association for Com-
putational Linguistics.

Rami Aly, Zhijiang Guo, Michael Schlichtkrull,
James Thorne, Andreas Vlachos, Christos
Christodoulopoulos, Oana Cocarascu, and Arpit
Mittal. 2021. FEVEROUS: Fact Extraction and
VERification Over Unstructured and Struc-
tured information. In Proceedings of the Neu-
ral Information Processing Systems Track on
Datasets and Benchmarks, volume 1.

Gabor Angeli. 2016. Learning Open Domain
Knowledge From Text. Ph.D. thesis, Stanford
University.
ProoFVer- Natural Logic Theorem Proving for Fact Verification