Superposition with Lambdas.

Alexander Bentkamp Jasmin Blanchette Sophie Tourret Petar Vukmirovic Uwe Waldmann

Published in: CADE (2019)

Keyphrases

theorem proving
databases
training data
objective function
training set
least squares
higher order
maximum likelihood