Donavon Guyot

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Data Curation & Synthetic Data (1)Distributed Systems & Hardware (1)

Papers (1)

Sep 1, 2026

Donavon Guyot2w ago

RosettaBitcoin: An Artifact-Backed Experience Report on Verification Infrastructure for Agent-Assisted Consensus Validators

Despite meeting baseline requirements, none of the Bitcoin validators achieved full proof completeness, exposing critical gaps in agent-assisted development practices.

Donavon Guyot

Data Curation & Synthetic Data Distributed Systems & Hardware

Search

Donavon Guyot

Publication activitypapers/week, last 8 weeks

Research focus

Papers (1)