Cambridge U & Facebook’s ProoFVer: High-Performance Natural Logic-Based Fact Verification With Explainability
A research team from the University of Cambridge and Facebook AI proposes ProoFVer, a proof system for fact verification using natural logic. ProoFVer provides faithful explanations while outperforming state-of-the-art fact verification models.