Elamur Research⌕
☰
home / authors / Xujie Si

Xujie Si

Xujie Si has 4 papers in our library, in 2024–2025, most of them on Reasoning, Language models & pretraining, Dialogue systems; often with Kaiyu Yang, Zhaoyu Li, Jialiang Sun.

4 papers in our library · 2024–2025

OpenAlex · ORCID · h-index 12 · 72 works · 460 citations OpenAlex, 2026-10-14

📄 4 works in our library · 🔗 Cited 147 times in our library · ⭐ Paper Stars ranking: #7336

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

🎓University of TorontoToronto · Canada2023–2026 · 11 paperscurrent🔬Vector InstituteToronto · Canada2023–2026 · 2 paperscurrent🎓University of PennsylvaniaPhiladelphia · United States2017–2020 · 14 papers🎓McGill UniversityMontreal · Canada2021–2023 · 6 papers🔬Mila - Quebec Artificial Intelligence InstituteMontreal · Canada2022–2024 · 3 papers🎓Georgia Institute of TechnologyAtlanta · United States2016 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 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).Computer Science · 4 worksArtificial Intelligence · 4 worksComputational Theory and Mathematics · 3 worksArts and Humanities · 1 workLanguage and Linguistics · 1 work

🧭 Topics 3Research subjects and languages the work is about.Reasoning · 3 worksDialogue systems · 1 workLanguage models & pretraining · 1 work

 Works by year

2020s

20252 papers20242 papers

 Papers

The most cited first (OpenAlex and our library).

  1. τ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment (2025 · 76 citations)
    Benchmarks for conversational agents, including the original τ-bench, usually let only the AI agent call tools, while the simulated user just supplies goals and facts.
  2. A Survey on Deep Learning for Theorem Proving (2024 · 46 citations)
    Research applying neural methods, and especially large language models, to mathematical proof has grown quickly.
  3. Autoformalizing Euclidean Geometry (2024 · 23 citations)
    The paper addresses autoformalization, which means converting human-written mathematics into statements and proofs that a machine can check.
  4. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning (2025 · 11 citations)
    The paper tackles automated formal proving of elementary algebraic inequalities from math Olympiads. Pure LLM provers struggle because formal proof data is scarce and the tactic space is huge. Symbolic methods such as cylindrical algebraic decomposition scale poorly and give opaque, non-readable proofs. The authors…

 Co-authors here

12 co-authors with a page, the most papers together first.

 Cited by

Papers of our library cite their works 147 times (of the 149,439 papers whose bibliographies we read); 71 citing papers with a page here →.

Updated

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