Generating Cases from Labeled Subgoals.

Lars Noschinski

Published in: Arch. Formal Proofs (2015)

Keyphrases

decision trees
machine learning
multimedia
training data
supervised learning
automatically generating