Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification.
Qi ShiYu ZhangQingyu YinTing LiuPublished in: CoRR (2021)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- image retrieval
- formal verification
- bounded model checking
- logic programming
- image database
- model checker
- graph theoretic
- network model
- computer networks
- concurrent systems
- application level
- retrieval method
- modal logic
- information retrieval
- complex networks
- network structure
- petri net
- wireless networks
- peer to peer
- multimedia
- search engine