Elamur Research⌕
☰
home / authors / Jing Xiong

Jing Xiong

Jing Xiong has 4 papers in our library, in 2023–2026, most of them on Reasoning, Language models & pretraining, Information retrieval & search; often with Chengming Li, Zhijiang Guo, Bin Hu.

4 papers in our library · 2023–2026

OpenAlex · ORCID · h-index 17 · 172 works · 1,004 citations OpenAlex, 2026-10-14

📄 4 works in our library · 🔗 Cited 128 times in our library · 1 more in our library without a page yet · ⭐ Paper Stars ranking: #7372

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

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 41 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.

 Works by year

2020s

 Papers

The most cited first (OpenAlex and our library).

  1. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning (2023 · 27 citations)
    The order and choice of demonstrations in a prompt strongly affect how well large language models solve multi-step reasoning problems.
  2. FormalAlign: Automated Alignment Evaluation for Autoformalization (2024 · 18 citations)
    Autoformalization uses models to turn informal mathematical statements into formal code such as Lean 4. A key weakness is evaluation. Compilers only confirm that the output is valid code, and BLEU or BERTscore only measure surface or embedding similarity. Neither checks whether the formal statement actually means the…
  3. Find Your Optimal Teacher: Personalized Data Synthesis via Router-Guided Multi-Teacher Distillation (2026 · 13 citations)
    Small LLMs are usually distilled by fine-tuning them on outputs from the most powerful available teacher. Prior work shows this can backfire: very strong teachers may produce answers that are too complex or too far from what the student can absorb. Earlier remedies (Mix, CAR) still make every candidate teacher answer…
  4. Expression Syntax Information Bottleneck for Math Word Problems (2023 · 10 citations)
    Neural solvers for math word problems (MWP) often score well by exploiting shallow links between wording and answer templates.

All works

5 works of theirs in our library, the most cited first; 4 with a page here, the others link their original until we summarise them.

  1. LEGO-Prover: Neural Theorem Proving with Growing Libraries ↗arXiv:2310.00656 · no summary yetHaiming Wang et al.2023 · 79 citations
  2. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citations
  3. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations

 Co-authors here

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

Updated

↑ back to top

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