--- title: "Xujie Si · University of Toronto — author profile and papers" description: "Xujie Si, University of Toronto: 4 papers on Elamur Research (2024–2025), h-index 12 — affiliations, topics, co-authors and who cites them in…" canonical: "https://research.elamur.ai/free/en/authors/xujie-si/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xujie-si/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Xujie Si # Xujie Si Xujie Si has 4 papers in our library, in 2024–2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Dialogue systems](https://md.research.elamur.ai/free/en/topics/dialogue-systems/); often with [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/), [Zhaoyu Li](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/), [Jialiang Sun](https://md.research.elamur.ai/free/en/authors/jialiang-sun/). 4 papers in our library · 2024–2025 [OpenAlex](https://openalex.org/A5059074509) · [ORCID](https://orcid.org/0000-0002-3739-2269) · [**h-index 12**](https://openalex.org/authors/A5059074509) · [72 works](https://openalex.org/works?filter=author.id:A5059074509) · [460 citations](https://openalex.org/works?filter=author.id:A5059074509&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/xujie-si/#papers) · [🔗 Cited 147 times in our library](https://md.research.elamur.ai/free/en/authors/xujie-si/cited-by/) · [⭐ Paper Stars ranking: #7336](https://md.research.elamur.ai/free/en/paper-stars/page/74/#star-7336) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Xujie+Si) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Xujie+Si) · [dblp](https://dblp.org/search?q=Xujie+Si) · [ACL Anthology](https://aclanthology.org/search/?q=Xujie+Si) ## Affiliations [🎓**University of Toronto** Toronto · Canada 2023–2026 · 11 papers*current*](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🔬**Vector Institute** Toronto · Canada 2023–2026 · 2 papers*current*](https://md.research.elamur.ai/free/en/labs/vector-institute/) · [🎓**University of Pennsylvania** Philadelphia · United States 2017–2020 · 14 papers](https://md.research.elamur.ai/free/en/universities/university-of-pennsylvania/) · [🎓**McGill University** Montreal · Canada 2021–2023 · 6 papers](https://md.research.elamur.ai/free/en/universities/mcgill-university/) · [🔬**Mila - Quebec Artificial Intelligence Institute** Montreal · Canada 2022–2024 · 3 papers](https://md.research.elamur.ai/free/en/labs/mila-quebec-artificial-intelligence-institute/) · [🎓**Georgia Institute of Technology** Atlanta · United States 2016 · 2 papers](https://md.research.elamur.ai/free/en/universities/georgia-institute-of-technology/) 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 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 3 Research subjects and languages the work is about.[Reasoning · 3 works](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Dialogue systems · 1 work](https://md.research.elamur.ai/free/en/topics/dialogue-systems/) · [Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/xujie-si/year/2025/) · [**2024** 2 papers](https://md.research.elamur.ai/free/en/authors/xujie-si/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[τ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment](https://md.research.elamur.ai/free/en/papers/barres-2025-tau-2-bench-evaluating-conversational/)** *(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](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)** *(2024 · 46 citations)* Research applying neural methods, and especially large language models, to mathematical proof has grown quickly. 3. **[Autoformalizing Euclidean Geometry](https://md.research.elamur.ai/free/en/papers/murphy-2024-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](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)** *(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. - [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/) ×3 - [Zhaoyu Li](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/) ×3 - [Jialiang Sun](https://md.research.elamur.ai/free/en/authors/jialiang-sun/) ×2 - [Logan Murphy](https://md.research.elamur.ai/free/en/authors/logan-murphy/) ×2 - [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/) ×2 - [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/) ×2 - [Anima Anandkumar](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/) - [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/) - [Honghua Dong](https://md.research.elamur.ai/free/en/authors/honghua-dong/) - [Karthik Narasimhan](https://md.research.elamur.ai/free/en/authors/karthik-narasimhan/) - [Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) - [Yuan Yao](https://md.research.elamur.ai/free/en/authors/yuan-yao/) ## 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 →](https://md.research.elamur.ai/free/en/authors/xujie-si/cited-by/). Updated 3 November 2026