🧑🔬 Mingzhe Wang — papers of 2017 — 1 paper, the most cited first1 paper · all years of Mingzhe WangPremise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/mingzhe-wang/year/2017/
Elamur Research