Alternatives and similar repositories for guarantees-based-mechanistic-interpretability:

Users that are interested in guarantees-based-mechanistic-interpretability are comparing it to the libraries listed below

• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆17Updated last week
• jacobdunefsky / transcoder_circuits
  ☆53Updated 2 months ago
• neelnanda-io / Crosscoders
  ☆21Updated 2 months ago
• Mech-Interp / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆14Updated 9 months ago
• adamkarvonen / SAEBench
  ☆41Updated this week
• EleutherAI / sae-auto-interp
  ☆135Updated this week
• amack315 / unsupervised-steering-vectors
  ☆28Updated 8 months ago
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆18Updated 9 months ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆82Updated last month
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆38Updated 2 months ago
• callummcdougall / sae_visualizer
  ☆25Updated 9 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆34Updated 6 months ago
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆46Updated last month
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆11Updated last year
• noanabeshima / tinymodel
  A TinyStories LM with SAEs and transcoders
  ☆10Updated 2 weeks ago
• HugoFry / mats_sae_training_for_ViTs
  ☆14Updated 8 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆98Updated 3 months ago
• EleutherAI / elk-generalization
  Investigating the generalization behavior of LM probes trained to predict truth labels: (1) from one annotator to another, and (2) from e…
  ☆26Updated 7 months ago
• saprmarks / feature-circuits
  ☆132Updated 3 months ago
• jbloomAus / SAEDashboard
  ☆25Updated 2 months ago
• redwoodresearch / rust_circuit_public
  ☆61Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆17Updated last week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆58Updated 5 months ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆66Updated last month
• taufeeque9 / codebook-features
  Sparse and discrete interpretability tool for neural networks
  ☆58Updated 11 months ago
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆58Updated 2 years ago
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆120Updated last year
• ArthurConmy / Automatic-Circuit-Discovery
  ☆201Updated 3 months ago
• albertqjiang / draft_sketch_prove
  ☆63Updated last year
• hannamw / EAP-IG
  ☆17Updated last month