Learning Intelligent Theorem Proving from Large Formal Corpora.

Josef Urban

Browse the full ISAIM paper archive.