David Wadden, Shanchuan Lin, Kyle Lo, Lucy Lu
Wang, Madeleine van Zuylen, Arman Cohan,
and Hannaneh Hajishirzi. 2020. Fact or fiction:
Verifying scientific claims. In Proceedings of
the 2020 Conference on Empirical Methods
in Natural Language Processing (EMNLP),
pages 7534–7550, Online. Association for
Computational Linguistics. https://doi.org
/10.18653/v1/2020.emnlp-main.609

Xiaozhi Wang, Tianyu Gao, Zhaocheng Zhu,
Zhengyan Zhang, Zhiyuan Liu, Juanzi Li,
and Jian Tang. 2021. Kepler: A unified model
for knowledge embedding and pre-trained

language representation. Transactions of the
Association for Computational Linguistics,
9:176–194. https://doi.org/10.1162
/tacl a 00360
ProoFVer- Natural Logic Theorem Proving for Fact Verification