---
title: "Qingxiang Wang — papers of 2019 — Elamur Research"
description: "Qingxiang Wang — papers of 2019: 1 paper on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/qingxiang-wang/year/2019/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/qingxiang-wang/year/2019/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Qingxiang Wang](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/) / 2019

# Qingxiang Wang — papers of 2019 — Elamur Research

1 paper · [all years of Qingxiang Wang](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/#years)

**[Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar](https://md.research.elamur.ai/free/en/papers/wang-2019-exploration-neural-machine-translation-autoformalization/) [ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/)**Qingxiang Wang, Chad Brown, Cezary Kaliszyk, et al.*2019 · 50 citations*