Research map / Learning theory and algorithms / Prediction and decision losses
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Closest papers by meaning
- The Computational Complexity of Circuit Discovery for Inner Interpretability (ICLR 2025 · similarity 0.91)
- Efficient Automated Circuit Discovery in Transformers using Contextual Decomposition (ICLR 2025 · similarity 0.90)
- Transcoders find interpretable LLM feature circuits (NeurIPS 2024 · similarity 0.88)
- InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques (NeurIPS 2024 · similarity 0.88)
- Validating Mechanistic Interpretations: An Axiomatic Approach (ICML 2025 · similarity 0.87)
- Rethinking Circuit Completeness in Language Models: AND, OR, and ADDER Gates (NeurIPS 2025 · similarity 0.87)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.