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
• amack315 / unsupervised-steering-vectors
  ☆36Updated last year
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆56Updated 8 months ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆124Updated 3 weeks ago
• jbloomAus / SAEDashboard
  ☆86Updated last month
• 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
• google-deepmind / mishax
  ☆152Updated 4 months ago
• goodfire-ai / scribe
  ☆62Updated 2 weeks ago
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆132Updated 3 years ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆33Updated 7 months ago
• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆22Updated last year
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆20Updated last year
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆86Updated 3 weeks ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• neelnanda-io / 1L-Sparse-Autoencoder
  ☆132Updated 2 years ago
• Butanium / tiny-activation-dashboard
  A tiny easily hackable implementation of a feature dashboard.
  ☆15Updated 3 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• METR / task-standard
  METR Task Standard
  ☆171Updated 11 months ago
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆31Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated 2 years ago
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆25Updated last year
• redwoodresearch / rust_circuit_public
  ☆66Updated 2 years ago
• ckkissane / crosscoder-model-diff-replication
  Open source replication of Anthropic's Crosscoders for Model Diffing
  ☆63Updated last year
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆112Updated 11 months ago
• neelnanda-io / Crosscoders
  ☆58Updated last year
• METR / RE-Bench
  ☆133Updated 3 months ago
• Mech-Interp / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆14Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year