Get started
Author

Chuyue Sun

Observed name: Sun, Chuyue
ORCID: 0009-0005-9226-3688
Observed ORCID: 0009-0005-9226-3688
OpenAlex ID: A5070125519
SGLang: Efficient Execution of Structured Language Model Programs
2024 · Lianmin Zheng, Liangsheng Yin, et al. · neural information processing systems · 142
PDF
Clover: Closed-Loop Verifiable Code Generation
2024 · Chuyue Sun, Ying Sheng, et al. · Lecture notes in computer science · 43
PDF
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
2023 · Joel Kuepper, Andres Erbsen, et al. · Proceedings of the ACM on Programming Languages · 12
PDF
DafnyBench: A Benchmark for Formal Software Verification
2024 · Loughridge, Chloe, Sun, Qinyi, et al. · arXiv (Cornell University) · 6
PDF
ClassInvGen: Class Invariant Synthesis Using Large Language Models
2025 · Chuyue Sun, Viraj Agashe, et al. · Lecture notes in computer science · 3
PDF
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
2025 · Leni Aniva, Chuyue Sun, et al. · Lecture notes in computer science · 2
PDF
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
2026 · Chuyue Sun, Yican Sun, et al. · Lecture notes in computer science · 1
PDF
CryptOpt: Automatic Optimization of Straightline Code
2023 · Joel Kuepper, David Wu, et al. · IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1
PDF
AI-assisted formal verification
2026 · Sun, Chuyue, Barrett, Clark, et al. · Stanford Digital Repository
An AI Approach to Verified Production Cryptographic Libraries
2026 · Sun, Chuyue, Fong, Su, et al. · arXiv (Cornell University)
PDF
Canonical for Automated Theorem Proving in Lean
2024 · Aniva, Leni, Sun, Chuyue, et al. · arXiv (Cornell University)
PDF
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
2022 · Kuepper, Joel, Erbsen, Andres, et al. · arXiv (Cornell University)
PDF
Works count: 12
Citation count: 208
H-index: 4
I10-index: 3
Year
Topic
Type