Elamur Research⌕
☰
home / authors / Qingxiang Wang

Qingxiang Wang

Qingxiang Wang has 2 papers in our library, in 2018–2019, most of them on Machine translation, Reasoning; often with Cezary Kaliszyk, Josef Urban.

2 papers in our library · 2018–2019

OpenAlex · ORCID · h-index 16 · 104 works · 793 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 69 times in our library · ⭐ Paper Stars ranking: #8048

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Qilu University of TechnologyJinan · China2015–2026 · 37 paperscurrent🎓Shandong Academy of SciencesJinan · China2018–2026 · 32 paperscurrent🏥First Affiliated Hospital of Xiamen UniversityAmoy · China2012–2026 · 8 paperscurrent🎓Qingdao University of Science and TechnologyQingdao · China2003–2026 · 8 paperscurrent🎓Guangzhou University of Chinese MedicineGuangzhou · China2010–2026 · 2 paperscurrent🎓Xiamen UniversityXiamen · China2023–2026 · 2 paperscurrent🎓Hebei UniversityBaoding · China2026 · 1 papercurrent🎓Minnan Normal UniversityZhangzhou · China2026 · 1 papercurrent🏥Shandong Mental Health CenterJinan · China2023–2025 · 6 papers🎓Shandong UniversityJinan · China2013–2025 · 6 papers

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 5The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 2 worksComputer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksLanguage and Linguistics · 2 works

🧭 Topics 2Research subjects and languages the work is about.Machine translation · 2 worksReasoning · 1 work

 Works by year

2010s

20191 paper20181 paper

 Papers

The most cited first (OpenAlex and our library).

  1. First Experiments with Neural Translation of Informal to Formal Mathematics (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 (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.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/qingxiang-wang/