Guiding an Instantiation Prover with Graph Neural Networks.
Karel ChvalovskýKonstantin KorovinJelle PiepenbrockJosef UrbanPublished in: LPAR (2023)
Keyphrases
- neural network
- graph representation
- graph theory
- artificial neural networks
- pattern recognition
- graph structure
- back propagation
- graph model
- bipartite graph
- theorem prover
- genetic algorithm
- graph theoretic
- directed acyclic graph
- random walk
- graph search
- weighted graph
- theorem proving
- training process
- neural nets
- feed forward
- structured data
- global exponential stability