Login / Signup
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.
Jason Rute
Miroslav Olsák
Lasse Blaauwbroek
Fidel Ivan Schaposnik Massolo
Jelle Piepenbrock
Vasily Pestun
Published in:
CoRR (2024)
Keyphrases
</>
theorem proving
learning algorithm
concept learning
active learning
supervised learning
background knowledge
automated reasoning
knowledge representation
semi supervised
multiple representations
parallel search
term rewriting