The Fact Extraction and VERification (FEVER) Shared Task.

James Thorne Andreas Vlachos Oana Cocarascu Christos Christodoulopoulos Arpit Mittal

Published in: CoRR (2018)

Keyphrases

information extraction
model checking
test set
knowledge extraction
formal methods
signature verification
real time
named entity recognition
automatic extraction
automatically extracted
asynchronous circuits
functional verification