Program Enhanced Fact Verification with Verbalization and Graph Attention Network.
Xiaoyu YangFeng NieYufei FengQuan LiuZhigang ChenXiaodan ZhuPublished in: CoRR (2020)
Keyphrases
- graphical representation
- network model
- network structure
- dynamic networks
- bipartite graph
- graph representation
- random walk
- fully connected
- graph structure
- graph theory
- network traffic
- strongly connected
- symbolic execution
- sparsely connected
- complex networks
- network management
- formal verification
- small world
- spanning tree
- link formation
- finding the shortest path
- network flow
- edge weights
- data flow
- directed acyclic graph
- communication networks
- computer networks
- directed graph
- model checking
- structured data