Document Cabinet
Technical documentation for the lab's public research programs,
including contracts, decisions, and reference material.
equational-theories-distillationSPCTR A-103
Material Memory in Physical CollectivesSPCTR D-44
lean-mcts-learningSPCTR A-61
lean-sorry-repos-benchmarkSPCTR A-27
lean-tactic-representationSPCTR A-42