Proof-Relevant Parametricity.

Neil Ghani Fredrik Nordvall Forsberg Federico Orsanigo

Published in: A List of Successes That Can Change the World (2016)

Keyphrases

machine learning
multiscale
neural network
website
image segmentation
image sequences
objective function
preprocessing
higher level
theorem proving
highly relevant
proof planning