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
Running Conditional Equivalence of DPO and RLHF β CPU Reproduction β Collaborate on a shared research logbook
Running Alignment-Sensitive Minimax Rates β Reproduction π Verify research claims with reproducible CPU experiments
Running Large-Sample SGMCMC Uncertainty Quantification Reproduction π§ Verify scientific claims of SGMCMC uncertainty quantification