Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.

Louise A. Dennis Alan Bundy Ian Green

Published in: CADE (1997)

Keyphrases

multiresolution
theorem proving
equational theories
theorem prover
formal proof
mathematical proofs
computer vision
neural network
formal proofs
interactive theorem proving
database
proof search
actor critic
evolutionary algorithm
database systems
image processing
machine learning
databases