AI/ML●●●●Gem
Verified Deep Learning with Lean 4
Formally verifies ResNet and ViT architectures using Lean 4 proofs.
WizardryBig BrainNiche Gem
asparagui
601mo ago
Back to browse
rlvrbook
by kyars·Apr 16, 2026·1 point·1 comment
AI Analysis
●MidNiche Gem
Educational content in a space where Nathan Lambert's RLHF book already exists.
Strengths
- •Structured chapters with TL;DR summaries and practical verifier design checklist
- •Targets multiple audiences from beginners to frontier researchers
- •Open PDF and GitHub with citations for further research
Weaknesses
- •Static textbook format competes with existing RLHF educational resources
- •Author acknowledges heavy AI assistance in writing and diagram generation
Category
Target Audience
ML researchers and engineers working on RLHF and agent training
Similar To
Nathan Lambert's RLHF Book · Sutton & Barto
Similar Projects
AI/ML●Mid
Reward Is Not Reinforcement Until Admitted
Research scripts testing reward governance thesis with no product surface.
Big BrainNiche Gem
loaderchips
1019d ago
Education●●Solid
Hands-on course for building RL environments for LLMs
Teaches LLM RL training with working Tic Tac Toe demo that beats gpt-5-mini.
Niche GemRabbit Hole
anakin87
112mo ago
AI/ML●●Solid
REST API for Gymnasium (fka OpenAI Gym) reinforcement learning library
Revives deprecated OpenAI gym-http-api with Docker images and built-in browser monitoring views.
Niche GemShip It
cloudkj
112mo ago
AI/ML●●Solid
Check whether agent logs are independently verifiable
Ed25519 signature verification in browser solves agent accountability for disputes.
Big BrainZero to One
jithinraj
309d ago
Security●●Solid
Manifestinx-verify – offline verifier for evidence bundles (drift)
Deterministic offline tamper detection—pinned at capture, replayed without side effects.
Big BrainSolve My Problem
oneinx
203mo ago