E-unification for Second-Order Abstract Syntax.

Nikolai Kudasov

Published in: CoRR (2023)

Keyphrases

higher order
high level
natural language
function symbols
machine learning
theorem prover
automated theorem proving
artificial intelligence
multi agent
state machines