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

• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆18Updated 3 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆38Updated 9 months ago
• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆21Updated 3 months ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆18Updated this week
• redwoodresearch / rust_circuit_public
  ☆62Updated 2 years ago
• EleutherAI / delphi
  Delphi was the home of a temple to Phoebus Apollo, which famously had the inscription, 'Know Thyself.' This library lets language models …
  ☆169Updated this week
• jbloomAus / SAEDashboard
  ☆36Updated last month
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆120Updated 2 years ago
• neelnanda-io / Crosscoders
  ☆36Updated 5 months ago
• Mech-Interp / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆14Updated last year
• amack315 / unsupervised-steering-vectors
  ☆31Updated 11 months ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆73Updated 4 months ago
• redwoodresearch / alignment_faking_public
  ☆49Updated 3 months ago
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆62Updated 2 months ago
• blei-lab / circuitry
  ☆13Updated 5 months ago
• slavachalnev / SAE-TS
  Improving Steering Vectors by Targeting Sparse Autoencoder Features
  ☆17Updated 5 months ago
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆48Updated 5 months ago
• jacobdunefsky / transcoder_circuits
  ☆104Updated 5 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆26Updated last month
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆27Updated 10 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆102Updated 6 months ago
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆17Updated 4 months ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆88Updated 3 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆11Updated 2 years ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆73Updated 3 weeks ago
• steering-vectors / steering-vectors
  Steering vectors for transformer language models in Pytorch / Huggingface
  ☆95Updated 2 months ago
• albertqjiang / draft_sketch_prove
  ☆65Updated last year
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆62Updated 2 years ago
• Aaquib111 / edge-attribution-patching
  Code for my NeurIPS 2024 ATTRIB paper titled "Attribution Patching Outperforms Automated Circuit Discovery"
  ☆30Updated 10 months ago