🧑🔬 Mingzhe Wang — papers of 2020 — 1 paper, the most cited first1 paper · all years of Mingzhe WangLearning to Prove Theorems by Learning to Generate TheoremsarXiv:2002.07019Mingzhe Wang, Jia Deng2020 · 53 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/mingzhe-wang/year/2020/