MSVEC: A Multidomain Testing Dataset for Scientific Claim Verification.

Michael Evans Dominik Soós Ethan Landers Jian Wu

Published in: MobiHoc (2023)

Keyphrases

formal verification
test generation
symbolic execution
model checking
test cases
database
benchmark datasets
artificial intelligence
synthetic datasets
data mining
training dataset
scientific discovery
face verification
formal methods
feature vectors
e learning
verification method