FEVER: a Large-scale Dataset for Fact Extraction and VERification.

James Thorne Andreas Vlachos Christos Christodoulopoulos Arpit Mittal

Published in: NAACL-HLT (2018)

Keyphrases

real life
model checking
small scale
database
information extraction
automatic extraction
synthetic datasets
million images
multi agent
knowledge extraction
automatically extracted
web scale
functional verification
automatically extracting
formal verification
benchmark datasets
information systems
data mining