NIPS Proceedingsβ

Yihe Tang

1 Paper

  • Premise Selection for Theorem Proving by Deep Graph Embedding (2017)