🧑🔬 Qingxiang Wang — papers of 2019 — Elamur Research1 paper · all years of Qingxiang WangExploration of Neural Machine Translation in Autoformalization of Mathematics in MizarACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Qingxiang Wang, Chad Brown, Cezary Kaliszyk, et al.2019 · 50 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/qingxiang-wang/year/2019/