Decoding Logic: Mechanistic Interpretability in LLMs in a research program | grantmaking.ai