The endgame for mechanistic interpretability is formal methods

2 points| nsomani | 1 month ago |neelsomaniblog.com