Refining Unification with Abstraction.

Ahmed Bhayat Konstantin Korovin Laura Kovács Johannes Schoisswohl

Published in: LPAR (2023)

Keyphrases

higher order
high level
databases
theorem prover
theorem proving
machine learning
digital libraries
equational theories
neural network
artificial intelligence
image processing
control system
medical images
inference rules