2 projects
archscope
Lightweight workbench for cross-architecture mechanistic interpretability experiments on small models
kbound
Inductive rule recovery toolkit — give it K observations, get back the rule plus a sample-complexity certificate. Like SymPy, but for recovering the formula instead of manipulating a given one.