Olivier Bouissou
where else to find them
no profile links on file
what they talk about
where they keep going back
- Dafny2 editions2025–2026
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification | Dafny 2026 | 2026-01-11 |
miniF2F gets fully translated into Dafny and a compact library of ~100 axiomatized lemmas, then run through Dafny’s SMT automation and 14 off‑the‑shelf LLMs… | ||
| DafnyPro: LLM-Assisted Automated Verification for Dafny Programs | Dafny 2026 | 2026-01-11 |
DafnyPro is an inference-time pipeline that uses LLMs (Claude Sonnet 3.5/3.7) to generate Dafny annotations while enforcing soundness with a diff-checker that… | ||
| ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis | Dafny 2026 | 2026-01-11 |
ATLAS is an automated pipeline that converts Python contest problems into complete Dafny programs by generating a fixed method signature, synthesizing… | ||
| Helping users to reduce Brittleness in their Dafny programs - a success story | Dafny 2025 | 2025-01-19 |
Dafny adds three concrete features that cut proof brittleness: assertion isolation (split proofs into assertion batches), hide and reveal (exclude function… | ||
| nothing matches | ||