| Efficiently Programming Large Language Models using SGLang. L Zheng, L Yin, Z Xie, J Huang, C Sun, CH Yu, S Cao, C Kozyrakis, ... arXiv, 2023 | 67 | 2023 |
| Clover: Closed-Loop Verifiable Code Generation C Sun, Y Sheng, O Padon, C Barrett International Symposium on AI Verification, 134-155, 2024 | 31 | 2024 |
| Sglang: Efficient execution of structured language model programs L Zheng, L Yin, Z Xie, C Sun, J Huang, CH Yu, S Cao, C Kozyrakis, ... arXiv preprint arXiv:2312.07104, 2024 | 21 | 2024 |
| Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions C Sun, C Hahn, C Trippel First International Workshop on Deep Learning-aided Verification, 2023 | 18 | 2023 |
| CryptOpt: Verified compilation with randomized program search for cryptographic primitives J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1268-1292, 2023 | 14* | 2023 |
| Sglang: Efficient execution of structured language model programs, 2024 L Zheng, L Yin, Z Xie, C Sun, J Huang, CH Yu, S Cao, C Kozyrakis, ... URL https://arxiv. org/abs/2312.07104, 0 | 7 | |
| DafnyBench: A Benchmark for Formal Software Verification C Loughridge, Q Sun, S Ahrenbach, F Cassano, C Sun, Y Sheng, ... arXiv preprint arXiv:2406.08467, 2024 | 6 | 2024 |
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... arXiv preprint arXiv:2211.10665, 2022 | 2 | 2022 |
| Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 L Aniva, C Sun, B Miranda, C Barrett, S Koyejo arXiv preprint arXiv:2410.16429, 2024 | | 2024 |
| CryptOpt: Automatic Optimization of Straightline Code J Kuepper, D Wu, A Erbsen, J Gross, O Conoly, C Sun, S Tian, A Chlipala, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | | 2023 |
Ying ShengxAIBestätigte E-Mail-Adresse bei x.ai