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

• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆117Updated 5 months ago
• amack315 / unsupervised-steering-vectors
  ☆36Updated last year
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆55Updated 7 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆195Updated 2 months ago
• Butanium / tiny-activation-dashboard
  A tiny easily hackable implementation of a feature dashboard.
  ☆15Updated last month
• EleutherAI / delphi
  Delphi was the home of a temple to Phoebus Apollo, which famously had the inscription, 'Know Thyself.' This library lets language models …
  ☆231Updated last week
• 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…
  ☆28Updated last year
• goodfire-ai / scribe
  ☆54Updated 2 months ago
• google-deepmind / mishax
  ☆144Updated 3 months ago
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆131Updated 3 years ago
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆20Updated 10 months ago
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆111Updated 10 months ago
• ckkissane / crosscoder-model-diff-replication
  Open source replication of Anthropic's Crosscoders for Model Diffing
  ☆63Updated last year
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆25Updated 11 months ago
• oli-clive-griffin / crosscode
  A library for training crosscoders
  ☆13Updated 6 months ago
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆31Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 10 months ago
• redwoodresearch / rust_circuit_public
  ☆65Updated 2 years ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆33Updated 6 months ago
• METR / RE-Bench
  ☆121Updated last month
• jbloomAus / SAEDashboard
  ☆81Updated last week
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆84Updated last year
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆80Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆114Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• safety-research / safety-examples
  ☆20Updated last month
• goodfire-ai / spd
  Stochastic Parameter Decomposition
  ☆58Updated this week
• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆22Updated 11 months ago