NIPS Proceedingsβ

Jian Wang

1 Paper

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