Elamur Research⌕
☰
home / authors / Xuan Lu

Xuan Lu

Xuan Lu has 2 papers in our library, in 2024–2026, most of them on Reasoning; often with Bo Liu, Haocheng Wang, Huajian Xin.

2 papers in our library · 2024–2026

OpenAlex · ORCID · h-index 4 · 7 works · 32 citations OpenAlex, 2026-10-14

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

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

🎓Guangxi Normal UniversityGuilin · China2025–2026 · 2 paperscurrent

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 7The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 1 workComputational Theory and Mathematics · 1 workMathematics · 1 workArts and Humanities · 1 workHuman-Computer Interaction · 1 workLanguage and Linguistics · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 1 work

 Works by year

2020s

20261 paper20241 paper

 Papers

The most cited first (OpenAlex and our library).

  1. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search (2024 · 116 citations)
    Language models still struggle with formal theorem proving in Lean 4. When a model writes a whole proof in one go, it never sees the intermediate proof states, so one early mistake can derail everything that follows. DeepSeek-Prover-V1.5 is an open 7B model that addresses this through staged training and a new search…
  2. From Adoption to Adaptation: Tracing the Diffusion of New Emojis on Twitter (2026)
    Every Unicode release adds emojis that existing NLP models have never seen. Because these emojis have exact release dates and a fixed form, they make a clean test case for how new language units spread and change meaning. The authors studied English tweets collected through the Twitter API from May 2018 to May 2022…

 Co-authors here

12 of 13 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 112 times (of the 149,439 papers whose bibliographies we read); 22 citing papers with a page here →.

Updated

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