Synthesizing Mathematical Identities with E-Graphs.

Ian Briggs Pavel Panchekha

Published in: CoRR (2022)

Keyphrases

graph theory
graph partitioning
neural network
multiscale
graph matching
graph representation
web pages
directed graph
graph structure
graph model
subgraph isomorphism
mathematical modeling
graph data
graph theoretic
graph mining
mathematical models
probabilistic model
data structure
information systems