QED: A fact verification system for the FEVER shared task.

Jackson Luken Nanjiang Jiang Marie-Catherine de Marneffe

Published in: FEVER@EMNLP (2018)

Keyphrases

model checking
real time
square root
face verification
data structure
test set
signature verification
data mining
asynchronous circuits
formal verification
expert systems
case study
knowledge base
learning algorithm
neural network
databases
data sets