VeriDiscover LabGitHub

VDL / Papers

Papers & artifacts

Papers, preprints, and technical reports—paired, whenever possible, with the material needed for independent checking.

Research archive

Public releases

VDL / 000

No paper releases yet.

The archive will list only work that has reached a clearly stated release status. Ongoing materials are available through the Lab’s public GitHub repositories.

Open GitHub archive

Release protocol

What a record will show

Status
Conjecture, working note, preprint, reviewed paper, or checked artifact.
Evidence
The proof, computation, formal certificate, or review supporting each claim.
Dependencies
External results, software, assumptions, and environments required to reproduce it.
Limits
What was not established, where the method fails, and which questions remain open.