Login / Signup
HoVer: A Dataset for Many-Hop Fact Extraction And Claim Verification.
Yichen Jiang
Shikha Bordia
Zheng Zhong
Charles Dognin
Maneesh Kumar Singh
Mohit Bansal
Published in:
EMNLP (Findings) (2020)
Keyphrases
</>
benchmark datasets
model checking
automatic extraction
formal verification
knowledge extraction
asynchronous circuits
verification method
information retrieval
artificial intelligence
information systems
website
image sequences
multiscale
information extraction
face verification
formal analysis