Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification.
Qi ShiYu ZhangQingyu YinTing LiuPublished in: EMNLP (1) (2021)
Keyphrases
- asynchronous circuits
- information retrieval
- verification method
- database
- peer to peer
- model checking
- wireless sensor networks
- logic programs
- formal verification
- computer networks
- model checker
- retrieval method
- retrieval systems
- test collection
- network model
- complex networks
- belief functions
- formal methods
- signature verification
- application level
- image database
- knowledge base
- bounded model checking