--- title: "Qingxiang Wang — author profile and papers in our library" description: "Qingxiang Wang, Guangzhou University of Chinese Medicine: 2 papers on Elamur Research (2018–2019), h-index 16 — affiliations, topics…" canonical: "https://research.elamur.ai/free/en/authors/qingxiang-wang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/qingxiang-wang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Qingxiang Wang # Qingxiang Wang Qingxiang Wang has 2 papers in our library, in 2018–2019, most of them on [Machine translation](https://md.research.elamur.ai/free/en/topics/machine-translation/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Cezary Kaliszyk](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/), [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/). 2 papers in our library · 2018–2019 [OpenAlex](https://openalex.org/A5101413909) · [ORCID](https://orcid.org/0000-0002-8159-7739) · [**h-index 16**](https://openalex.org/authors/A5101413909) · [104 works](https://openalex.org/works?filter=author.id:A5101413909) · [793 citations](https://openalex.org/works?filter=author.id:A5101413909&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/#papers) · [🔗 Cited 69 times in our library](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/cited-by/) · [⭐ Paper Stars ranking: #8048](https://md.research.elamur.ai/free/en/paper-stars/page/81/#star-8048) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Qingxiang+Wang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Qingxiang+Wang) · [dblp](https://dblp.org/search?q=Qingxiang+Wang) · [ACL Anthology](https://aclanthology.org/search/?q=Qingxiang+Wang) ## Affiliations [🎓**Qilu University of Technology** Jinan · China 2015–2026 · 37 papers*current*](https://md.research.elamur.ai/free/en/universities/qilu-university-of-technology/) · [🎓**Shandong Academy of Sciences** Jinan · China 2018–2026 · 32 papers*current*](https://md.research.elamur.ai/free/en/universities/shandong-academy-of-sciences/) · [🏥**First Affiliated Hospital of Xiamen University** Amoy · China 2012–2026 · 8 papers*current*](https://ror.org/0006swh35) · [🎓**Qingdao University of Science and Technology** Qingdao · China 2003–2026 · 8 papers*current*](https://ror.org/041j8js14) · [🎓**Guangzhou University of Chinese Medicine** Guangzhou · China 2010–2026 · 2 papers*current*](https://ror.org/03qb7bg95) · [🎓**Xiamen University** Xiamen · China 2023–2026 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/xiamen-university/) · [🎓**Hebei University** Baoding · China 2026 · 1 paper*current*](https://ror.org/01p884a79) · [🎓**Minnan Normal University** Zhangzhou · China 2026 · 1 paper*current*](https://ror.org/02vj1vm13) · [🏥**Shandong Mental Health Center** Jinan · China 2023–2025 · 6 papers](https://ror.org/024x8v141) · [🎓**Shandong University** Jinan · China 2013–2025 · 6 papers](https://md.research.elamur.ai/free/en/universities/shandong-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 20 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 2 Research subjects and languages the work is about.[Machine translation · 2 works](https://md.research.elamur.ai/free/en/topics/machine-translation/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2010s [**2019** 1 paper](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/year/2019/) · [**2018** 1 paper](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/year/2018/) ## Papers The most cited first (OpenAlex and our library). 1. **[First Experiments with Neural Translation of Informal to Formal Mathematics](https://md.research.elamur.ai/free/en/papers/wang-2018-first-experiments-neural-translation-informal/)** *(2018 · 66 citations)* Wang, Kaliszyk and Urban study autoformalization: automatically converting mathematics written in LaTeX into a machine-checkable formal language, here Mizar. 2. **[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/)** *(2019 · 50 citations)* The paper treats autoformalization, the conversion of human-written mathematics into machine-checkable statements, as a machine translation problem. ## Co-authors here 2 co-authors with a page, the most papers together first. - [Cezary Kaliszyk](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) ×2 - [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/) ×2 ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [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/): [CPP 2019](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/2019/) - [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/): [Lecture notes in computer science 2018](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2018/) ## Cited by Papers of our library cite their works 69 times (of the 149,439 papers whose bibliographies we read); [30 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/cited-by/). Updated 3 November 2026