--- title: "Chuyue Sun · Truth Initiative — author profile and papers" description: "Chuyue Sun, Truth Initiative: 4 papers on Elamur Research (2023–2024), h-index 5 — affiliations, topics, co-authors and who cites them in…" canonical: "https://research.elamur.ai/free/en/authors/chuyue-sun/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/chuyue-sun/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Chuyue Sun # Chuyue Sun Chuyue Sun has 4 papers in our library, in 2023–2024, 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/), [Evaluation & benchmarks](https://md.research.elamur.ai/free/en/topics/evaluation-benchmarks/); often with [Clark Barrett](https://md.research.elamur.ai/free/en/authors/clark-barrett/), [Ying Sheng](https://md.research.elamur.ai/free/en/authors/ying-sheng/), [Brando Miranda](https://md.research.elamur.ai/free/en/authors/brando-miranda/). 4 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5070125519) · [ORCID](https://orcid.org/0009-0005-9226-3688) · [Wikidata](https://www.wikidata.org/wiki/Q130848036) · [**h-index 5**](https://openalex.org/authors/A5070125519) · [12 works](https://openalex.org/works?filter=author.id:A5070125519) · [235 citations](https://openalex.org/works?filter=author.id:A5070125519&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/chuyue-sun/#papers) · [🔗 Cited 632 times in our library](https://md.research.elamur.ai/free/en/authors/chuyue-sun/cited-by/) · [⭐ Paper Stars ranking: #3176](https://md.research.elamur.ai/free/en/paper-stars/page/32/#star-3176) 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=Chuyue+Sun) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Chuyue+Sun) · [dblp](https://dblp.org/search?q=Chuyue+Sun) · [ACL Anthology](https://aclanthology.org/search/?q=Chuyue+Sun) ## Affiliations [🎓**Stanford University** Stanford · United States 2022–2026 · 8 papersEducation since 2022 · PhD candidate, CS*current*](https://md.research.elamur.ai/free/en/universities/stanford-university/) · [🤝**Truth Initiative** Washington · United States 2026 · 1 paper*current*](https://ror.org/012057720) · [🎓**Massachusetts Institute of Technology** Cambridge · United States 2018–2022Education 2018–2022 · BS, EECS](https://md.research.elamur.ai/free/en/universities/massachusetts-institute-of-technology/) 🏛️**Stanford University Department of Computer Science** Stanford · [United States](https://md.research.elamur.ai/free/en/countries/united-states/) 2022Employment since 2022 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 8 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/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Hardware and Architecture · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/hardware-and-architecture/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Software · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) 🧭 Topics 4 Research subjects and languages the work is about.[Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) · [Code & programming languages · 1 work](https://md.research.elamur.ai/free/en/topics/code-and-programming/) · [Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Evaluation & benchmarks · 1 work](https://md.research.elamur.ai/free/en/topics/evaluation-benchmarks/) 💡 Concepts 1 Key ideas and methods explained on our concept pages.[Retrieval-augmented generation · 1 work](https://md.research.elamur.ai/free/en/concepts/retrieval-augmented-generation/) ## Works by year ### 2020s [**2024** 3 papers](https://md.research.elamur.ai/free/en/authors/chuyue-sun/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/chuyue-sun/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[SGLang: Efficient Execution of Structured Language Model Programs](https://md.research.elamur.ai/free/en/papers/zheng-2023-sglang-efficient-execution-structured-language/)** *(2023 · 729 citations)* Modern LLM applications such as agents, few-shot evaluation, tree-of-thought search, RAG and JSON extraction rarely make a single model call. 2. **[Clover: Closed-Loop Verifiable Code Generation](https://md.research.elamur.ai/free/en/papers/sun-2024-clover-closed-loop-verifiable-code/)** *(2024 · 56 citations)* LLMs can now write code, but nothing reliably confirms that the output does what was intended. Clover (Closed-Loop Verifiable Code Generation) addresses this by treating correctness checking as a consistency problem. Each generated artifact must contain three parts: code, formal annotations (pre/postconditions, loop… 3. **[DafnyBench: A Benchmark for Formal Software Verification](https://md.research.elamur.ai/free/en/papers/loughridge-2024-dafnybench-benchmark-formal-software-verification/)** *(2024 · 15 citations)* Formal verification can mathematically guarantee that code meets its specification, but it demands a lot of expert effort. 4. **[Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4](https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/)** *(2024 · 14 citations)* Machine learning agents that search for proofs in Lean 4 depend on an interface to the proof assistant. The standard Language Server Protocol was built for humans: it tracks cursor positions and offers no easy way to collect tactic data or to leave proof gaps for automation. Pantograph is an API and REPL written… ## Co-authors here 12 of 14 co-authors with a page, the most papers together first. - [Clark Barrett](https://md.research.elamur.ai/free/en/authors/clark-barrett/) ×3 - [Ying Sheng](https://md.research.elamur.ai/free/en/authors/ying-sheng/) ×3 - [Brando Miranda](https://md.research.elamur.ai/free/en/authors/brando-miranda/) - [Cody Hao Yu](https://md.research.elamur.ai/free/en/authors/cody-hao-yu/) - [Federico Cassano](https://md.research.elamur.ai/free/en/authors/federico-cassano/) - [Ion Gabriel Stoica](https://md.research.elamur.ai/free/en/authors/ion-gabriel-stoica/) - [Joseph E. Gonzalez](https://md.research.elamur.ai/free/en/authors/joseph-e-gonzalez/) - [Lianmin Zheng](https://md.research.elamur.ai/free/en/authors/lianmin-zheng/) - [Max Tegmark](https://md.research.elamur.ai/free/en/authors/max-tegmark/) - [Md Rakib Hossain Misu](https://md.research.elamur.ai/free/en/authors/md-rakib-hossain-misu/) - [Oded Padon](https://md.research.elamur.ai/free/en/authors/oded-padon/) - [Sanmi Koyejo](https://md.research.elamur.ai/free/en/authors/sanmi-koyejo/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/) ×2: [Lecture notes in computer science 2024](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2024/) ×2 - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2023](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2023/) ## Cited by Papers of our library cite their works 632 times (of the 149,439 papers whose bibliographies we read); [72 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/chuyue-sun/cited-by/). Updated 3 November 2026