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 4 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 10 months ago
• Butanium / nnterp
  A small package implementing some useful wrapping around nnsight
  ☆13Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆67Updated 9 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆30Updated 2 months ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆91Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• Mech-Interp / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆14Updated last year
• LRudL / evalugator
  (Model-written) LLM evals library
  ☆18Updated 5 months ago
• ApolloResearch / apd
  Attribution-based Parameter Decomposition
  ☆23Updated this week
• yangky11 / miniF2F-lean4
  ☆57Updated 2 weeks ago
• slavachalnev / SAE-TS
  Improving Steering Vectors by Targeting Sparse Autoencoder Features
  ☆20Updated 6 months ago
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆65Updated last month
• amack315 / unsupervised-steering-vectors
  ☆31Updated last year
• ApolloResearch / sample
  Repository with sample code using Apollo's suggested engineering practices
  ☆9Updated 5 months ago
• ApolloResearch / e2e_sae
  Sparse Autoencoder Training Library
  ☆50Updated last month
• jacobdunefsky / transcoder_circuits
  ☆120Updated 6 months ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• jbloomAus / SAEDashboard
  ☆50Updated last month
• neelnanda-io / Crosscoders
  ☆43Updated 6 months ago
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆126Updated 2 years ago
• redwoodresearch / rust_circuit_public
  ☆63Updated 2 years ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆62Updated 3 weeks ago
• albertqjiang / Portal-to-ISAbelle
  https://albertqjiang.github.io/Portal-to-ISAbelle/
  ☆56Updated last year
• google-deepmind / mishax
  ☆131Updated 2 months ago
• tilde-research / sieve
  Applying SAEs for fine-grained control
  ☆18Updated 5 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆11Updated 2 years ago
• redwoodresearch / interp
  Redwood Research's transformer interpretability tools
  ☆15Updated 3 years ago
• Aaquib111 / edge-attribution-patching
  Code for my NeurIPS 2024 ATTRIB paper titled "Attribution Patching Outperforms Automated Circuit Discovery"
  ☆34Updated last year
• 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…
  ☆26Updated last year