Graph Representations for Higher-Order Logic and Theorem Proving.

Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

Browse the full AAAI paper archive.