Proofver: natural logic theorem proving for fact verification

HIGHLIGHTS

  • who: Amrith Krishna and collaborators from the Department of Computer, University of Cambridge, United Kingdom have published the research: ProoFVer: Natural Logic Theorem Proving for Fact Verification, in the Journal: (JOURNAL)
  • what: Keeping both accuracy and explainability in mind, the authors propose ProoFVer-Proof System for Fact Verification-which generates proofs or refutations of the claim given evidence as natural logic-based inference. To evaluate the robustness of fact verification systems against the impact of superfluous information from the retriever, the authors propose a new metric, Stability Error Rate (SER), which measures the proportion of . . .

     

    Logo ScioWire Beta black

    If you want to have access to all the content you need to log in!

    Thanks :)

    If you don't have an account, you can create one here.

     

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?