Wonton Soup: Proof Structures Under Interventions
Intervention studies in proof search, with structural comparison across runs.
Blog
Public writing on current work.
SPECTER LABS