Yihe Tang

Identifiers

No identifiers captured yet.

Papers (1)

1. Premise Selection for Theorem Proving by Deep Graph Embedding cs.AI · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jia Deng 1 shared papers
• Jian Wang 1 shared papers
• Mingzhe Wang 1 shared papers