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