Running Alignment-Sensitive Minimax Rates β Reproduction π Verify research claims with reproducible CPU experiments
Running Anytime Strategic Deviations β Exact 12/12 CPU Audit π§ View and sync a strategic logbook with your AI agent
Running Agentic Theorem Prover Theory β Exact 12/12 CPU Reproduction π§ Collaborate with AI on a theoremβproving logbook