Superposition with Lambdas.

Alexander Bentkamp Jasmin Blanchette Sophie Tourret Petar Vukmirovic Uwe Waldmann

Published in: CoRR (2021)

Keyphrases

theorem proving
multiscale
search algorithm
color images
neural network
pattern recognition