🧑🔬 Qingxiang Wang — papers of 2018 — Elamur Research1 paper · all years of Qingxiang WangFirst Experiments with Neural Translation of Informal to Formal MathematicsLecture notes in computer scienceQingxiang Wang, Cezary Kaliszyk, Josef Urban2018 · 66 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/qingxiang-wang/year/2018/