Scientific Claim Verification with VerT5erini.
Ronak PradeepXueguang MaRodrigo Frassetto NogueiraJimmy LinPublished in: LOUHI@EACL (2021)
Keyphrases
- model checking
- scientific data
- verification method
- data mining
- artificial intelligence
- formal verification
- science education
- information retrieval
- scientific documents
- formal analysis
- face verification
- website
- student learning
- formal methods
- temporal logic
- bayesian networks
- scientific inquiry
- concurrent systems
- computer vision
- functional verification