Faster Smarter Proof by Induction in Isabelle/HOL.

Yutaka Nagashima

Browse the full IJCAI paper archive.