Chuyue Sun
where else to find them
what they talk about
where they keep going back
- Dafny2 editions2024–2025
on a stage with
- Ying Sheng2×
- Adam Chlipalaonce
- Andres Erbsenonce
all 22 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| DafnyBench: A Benchmark for Formal Software Verification | Dafny 2025 | 2025-01-19 |
DafnyBench is a scraped benchmark of 750 programs and ~53,000 LOC that tests whether LLMs (GPT‑4, Claude 3, etc.) can auto-generate the missing Dafny… | ||
| CLOVER: Closed-Loop Verifiable Code Generation | Dafny 2024 | 2024-01-14 |
Generates code, docstrings, and formal annotations with GPT‑4 then applies six directed consistency checks (using reconstruction testing and the Dafny… | ||
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives | PLDI 2023 | 2023-06-17 |
CryptOpt turns Fiat Cryptography IR into x86-64 assembly by running a random local search over instruction selection and scheduling, auto-benchmarking… | ||
| nothing matches | ||