Graph Sequence Learning for Premise Selection.

Edvard K. Holden Konstantin Korovin

Published in: CoRR (2023)

Keyphrases

learning process
learning algorithm
supervised learning
learning problems
learning analytics
data sets
reinforcement learning
learning systems
neural network
knowledge base
image segmentation
multi agent
background knowledge
graph matching
graph model