🧑🔬 Chuyue Sun — papers of 2024 — 3 papers, the most cited first3 papers · all years of Chuyue SunClover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citationsDafnyBench: A Benchmark for Formal Software VerificationarXiv:2406.08467Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, et al.2024 · 15 citationsPantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4Lecture notes in computer scienceLeni Aniva, Chuyue Sun, Brando Miranda, et al.2024 · 14 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/chuyue-sun/year/2024/