NIPS Proceedingsβ

Mingzhe Wang

1 Paper

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