Hacker News new | ask | show | jobs
The endgame for mechanistic interpretability is formal methods (neelsomaniblog.com)
2 points by nsomani 161 days ago