Elamur Research⌕
☰
home / authors / Tianyi Xu

Tianyi Xu

Tianyi Xu has 3 papers in our library, in 2025–2026, most of them on Language models & pretraining, Reasoning, Information retrieval & search; often with David Ifeoluwa Adelani, Guoxiong Gao, Hao Yu.

3 papers in our library · 2025–2026

OpenAlex · h-index 0 · 2 works · 0 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 10 times in our library · ⭐ Paper Stars ranking: #11136

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

🎓City University of Hong KongHong Kong · China2026 · 1 papercurrent🎓McGill UniversityMontreal · Canada2026 · 1 papercurrent🔬Mila - Quebec Artificial Intelligence InstituteMontreal · Canada2026 · 1 papercurrent

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 · 3 worksArtificial Intelligence · 3 worksComputational Theory and Mathematics · 1 workArts and Humanities · 2 worksLanguage and Linguistics · 2 worksHistory and Philosophy of Science · 1 workInformation Systems · 1 work

🧭 Topics 3Research subjects and languages the work is about.Information retrieval & search · 1 workReasoning · 1 workLanguage models & pretraining · 1 work

 Works by year

2020s

20262 papers20251 paper

 Papers

The most cited first (OpenAlex and our library).

  1. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning (2025 · 10 citations)
    LLM-based provers for Lean 4 handle olympiad-style problems well, but they rarely carry over to university and graduate mathematics.
  2. AfriqueLLM: How Data Mixing and Model Architecture Impact Continued Pre-training for African Languages (2026)
    Open LLMs still trail proprietary systems on African languages. Continued pre-training (CPT) helps, but it rarely lifts harder skills like math reasoning, partly because low-resource corpora cover few domains. The authors build AfriqueLLM, a family of open models that use CPT over a 26B-token corpus to target 20…
  3. Feedback Is The Key for Automated Survey Generation (2026)
    LLM-based survey writers such as AutoSurvey, SurveyX and SurveyForge usually draft in one forward pass. Their output therefore often contains hallucinated claims, weak citations and loose structure. FIKSurvey adds the review-and-revise cycle that human authors rely on. A Writer LLM produces the text, and a separate…

 Co-authors here

10 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 10 times (of the 149,439 papers whose bibliographies we read).

Updated

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