Small Proof Witnesses for LF.

Susmit Sarkar Brigitte Pientka Karl Crary

Published in: ICLP (2005)

Keyphrases

theorem proving
neural network
learning algorithm
decision trees
objective function
evolutionary algorithm
multiresolution
super resolution
medium size