Mantas Bakšys
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 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… | ||
| 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… | ||
| 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 | ||