The endgame for mechanistic interpretability is formal methodsneelsomaniblog.com2 points·nsomani··0 commentsOpen articleSaveView on HN