Constrained Fact Verification for FEVER.

Adithya Pratapa Sai Muralidhar Jayanthi Kavya Nerella

Published in: EMNLP (1) (2020)

Keyphrases

model checking
data sets
special case
real time
image processing
formal verification
data mining
learning algorithm
knowledge base
multiresolution
real world
mobile robot
digital images
formal methods
signature verification
verification method
functional verification