Acknowledgments
Amrith Krishna and Andreas Vlachos are sup-
ported by a Sponsored Research Agreement
between Facebook (now Meta) and the University
of Cambridge. Andreas Vlachos is additionally
supported by the ERC grant AVeriTeC (GA
865958) and the EU H2020 grant MONITIO (GA
965576). The authors would like to thank Nicola
De Cao for helpful conversations, and Dominik
Stammbach for sharing the retriever data. Fur-
ther, the authors would like to thank all the 19
subjects who volunteered to be part of the hu-
man evaluation, namely, James Thorne, Michael
Sejr Schlichtkrull, Ashim Gupta, Bishal Santra,
Ashutosh Soni, Abhik Jana, Sudipa Mandal,
Madhumita Mallick, Roshni Tayal, Sandipan
Sikdar, Rishabh Kumar, Jasabanta Patro, Unni
Krishnan, Anirban Santara, Jivnesh Sandhan,
Soumya Sarkar, Devaraj Adiga, Aniruddha Roy,
and Muskan Garg. Finally, we would like to
thank the anonymous reviewers, the action edi-
tor, and the editor in chief Brian Roark for their
valuable feedback.
ProoFVer- Natural Logic Theorem Proving for Fact Verification