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
  ☆45Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆175Updated 3 weeks ago
• jbloomAus / SAEDashboard
  ☆64Updated this week
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆128Updated 2 years ago
• amack315 / unsupervised-steering-vectors
  ☆32Updated last year
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆54Updated 3 months ago
• ckkissane / crosscoder-model-diff-replication
  Open source replication of Anthropic's Crosscoders for Model Diffing
  ☆57Updated 9 months ago
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆18Updated 6 months 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 …
  ☆202Updated this week
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆100Updated last month
• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆22Updated 7 months ago
• google-deepmind / mishax
  ☆136Updated 4 months ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆77Updated 8 months ago
• redwoodresearch / rust_circuit_public
  ☆63Updated 2 years ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆28Updated last month
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• neelnanda-io / 1L-Sparse-Autoencoder
  ☆124Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 10 months ago
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆157Updated 3 months ago
• neelnanda-io / Crosscoders
  ☆51Updated 8 months ago
• jacobdunefsky / transcoder_circuits
  ☆157Updated 8 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…
  ☆28Updated last year
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆23Updated 7 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆99Updated 4 months ago
• callummcdougall / sae_vis
  Create feature-centric and prompt-centric visualizations for sparse autoencoders (like those from Anthropic's published research).
  ☆207Updated 7 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• steering-vectors / steering-vectors
  Steering vectors for transformer language models in Pytorch / Huggingface
  ☆120Updated 5 months ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• Aaquib111 / edge-attribution-patching
  Code for my NeurIPS 2024 ATTRIB paper titled "Attribution Patching Outperforms Automated Circuit Discovery"
  ☆40Updated last year
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆104Updated 5 months ago