Popular repositories Loading

1. Sledgehammer Sledgehammer Public

   A code-golf language written in Mathematica

   Mathematica 21 1

2. CoqLegion CoqLegion Public

   A partial formalization of the Legion type system in Coq

   Coq 1

3. Spacechem-in-SAT Spacechem-in-SAT Public

   Python 1

4. othello-gpt-ideas othello-gpt-ideas Public

   Submission to Neel Nanda's 2022 SERI MATS stream.

   Jupyter Notebook 1

5. sae-enhanced-cd sae-enhanced-cd Public

   Replication of the paper "Sparse Autoencoders Enable Scalable and Reliable Circuit Identification in Language Models" (https://arxiv.org/pdf/2405.12522)

   Python 1

6. feitzin.github.io feitzin.github.io Public

   Forked from feitzin/feitzin.github.io

   Ruby