Elamur Research⌕
☰
home / authors / Chuyue Sun

Chuyue Sun

Chuyue Sun has 4 papers in our library, in 2023–2024, most of them on Reasoning, Language models & pretraining, Evaluation & benchmarks; often with Clark Barrett, Ying Sheng, Brando Miranda.

4 papers in our library · 2023–2024

OpenAlex · ORCID · Wikidata · h-index 5 · 12 works · 235 citations OpenAlex, 2026-10-14

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

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

🎓Stanford UniversityStanford · United States2022–2026 · 8 papersEducation since 2022 · PhD candidate, CScurrent🤝Truth InitiativeWashington · United States2026 · 1 papercurrent🎓Massachusetts Institute of TechnologyCambridge · United States2018–2022Education 2018–2022 · BS, EECS
🏛️Stanford University Department of Computer ScienceStanford · United States2022Employment 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 8The field of science this work belongs to (OpenAlex fields).Computer Science · 4 worksArtificial Intelligence · 4 worksArts and Humanities · 1 workHardware and Architecture · 1 workLanguage and Linguistics · 1 workSoftware · 2 worksComputational Theory and Mathematics · 2 worksInformation Systems · 1 work

🧭 Topics 4Research subjects and languages the work is about.Language models & pretraining · 1 workCode & programming languages · 1 workReasoning · 2 worksEvaluation & benchmarks · 1 work

💡 Concepts 1Key ideas and methods explained on our concept pages.Retrieval-augmented generation · 1 work

 Works by year

2020s

20243 papers20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. SGLang: Efficient Execution of Structured Language Model Programs (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 (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 (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 (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.

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

Updated

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