Recursive First-order Syntactic Unification Modulo Variable Classes.

Published in: CoRR (2023)

Keyphrases

higher order
recursive functions
natural language
first order logic
data sets
training data
theorem proving
data model
probabilistic model
theorem prover
semantic representation
context free
recursive algorithm
equational theories
finite model theory