HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.

Cezary Kaliszyk, Franois Chollet, Christian Szegedy

Browse the full ICLR paper archive.