0

Chuyue Sun

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

arXiv 2024

2024

SGLang: Efficient Execution of Structured Language Model Programs

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Clark Barrett

2 shared papers

Brando Miranda

1 shared paper

Christos Kozyrakis

1 shared paper

Cody Hao Yu

1 shared paper

Ion Stoica

professor / co-founder

1 shared paper

Jeff Huang

1 shared paper

Joseph E. Gonzalez

1 shared paper

Leni Aniva

1 shared paper

Liangsheng Yin

1 shared paper

Lianmin Zheng

grad-student

1 shared paper