Chelsea Edmonds
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- CPP2 editions2023–2024
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local ... | CPP 2024 | 2024-01-15 |
Presents a reusable Isabelle/HOL framework that formalises probabilistic existence proofs and gives the first machine-checked proof of the Lovász Local Lemma… | ||
| A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL | CPP 2023 | 2023-01-16 |
The project formalises the Balog–Szemerédi–Gowers theorem in Isabelle/HOL, delivering the first proof assistant formalisation of that result, including a… | ||
| nothing matches | ||