Nightly public research record: AI-drafted papers, Lean 4 proofs and verifier-assigned labels anyone can re-check.
Lean Updated 7 days ago 1 commits
drift-coder|Mirror: jdhart81/viridis-research (⭐0)
7 days agoAbout
Nightly public research record: AI-drafted papers, Lean 4 proofs and verifier-assigned labels anyone can re-check.
Readme