Writing
Research notes
Working notes on interpretability, autoformalization, and evaluation design — including the mistakes, because those are usually the useful part.
No posts match that. Try a different topic or clear the search.
Discussion
Disagree with something here?
Every post takes comments through GitHub Discussions, and corrections are genuinely welcome — a few of these notes exist because someone pushed back.