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
• google-deepmind / mishax
  ☆153Updated 5 months ago
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆135Updated 3 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 4 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
• jbloomAus / SAEDashboard
  ☆88Updated last month
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆56Updated 9 months ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆126Updated last month
• ejnnr / cupbearer
  A library for mechanistic anomaly detection
  ☆22Updated last year
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆88Updated 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 …
  ☆241Updated 2 weeks ago
• redwoodresearch / rust_circuit_public
  ☆66Updated 2 years ago
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆112Updated last year
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆83Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated 2 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• METR / RE-Bench
  ☆133Updated 3 months ago
• steering-vectors / steering-vectors
  Steering vectors for transformer language models in Pytorch / Huggingface
  ☆140Updated 11 months ago
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆78Updated 3 years ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆33Updated 8 months ago
• neelnanda-io / 1L-Sparse-Autoencoder
  ☆132Updated 2 years ago
• ckkissane / crosscoder-model-diff-replication
  Open source replication of Anthropic's Crosscoders for Model Diffing
  ☆63Updated last year
• goodfire-ai / scribe
  ☆70Updated last month
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆25Updated last year
• science-of-finetuning / diffing-toolkit
  A toolkit that provides a range of model diffing techniques including a UI to visualize them interactively.
  ☆57Updated this week
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• genlm / llamppl
  Probabilistic programming with large language models
  ☆159Updated 2 months ago
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆20Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year