Proving Calculational Proofs Correct.

Andrew T. Walter Ankit Kumar Panagiotis Manolios

Published in: CoRR (2023)

Keyphrases

theorem proving
theorem prover
neural network
first order logic
special case
equational theories
databases
machine learning
artificial intelligence
similarity measure
cooperative
search algorithm
recommender systems