Bridging Syntax and Semantics of Lean Expressions in E-Graphs.

Marcus Rossel Andrés Goens

Published in: CoRR (2024)

Keyphrases

graph databases
facial expressions
graph matching
graph representation
case study
graph theory
mathematical expressions
search engine
graph mining
graph model
graph partitioning
series parallel