Max Tegmark
where else to find them
linkedin:max-tegmark-68a99898
what they talk about
all 4 in the filters
where they keep going back
- Dafny2 editions2025–2026
on a stage with
- Adem Bizidonce
- Alok Singhonce
- Anish Mudideonce
all 21 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| From Vibe Coding to Vericoding | ODSC AI East 2026 | 2026-04-28 |
Argues for replacing trial‑and‑error coding with AI that writes code plus machine‑checked proofs, reporting a 12,000‑program benchmark and success rates… | ||
| A benchmark for vericoding: formally verified program synthesis | Dafny 2026 | 2026-01-11 |
A public benchmark assembles roughly 10,000 tasks across Lean, Rust/Verus and Dafny (Lean ~4,000, Dafny ~800 after splitting/cleaning) and runs LLM prompting… | ||
| 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… | ||
| When the machines out-smarts us | Web Summit 2017 | 2017-11-06 |
Argues machines can reach human-level general intelligence within decades (median poll answers ~30–50 years) and shows concrete milestones: AlphaGo Zero learns… | ||
| nothing matches | ||