Popular repositories Loading

1. DafnyBench DafnyBench Public

   DafnyBench: A Benchmark for Formal Software Verification

   Dafny 65 12

2. rl-laplacian rl-laplacian Public

   Forked from jordan-wei-taylor/rl-laplacian

   Jupyter Notebook 1

3. sae-rm sae-rm Public

   Forked from loganriggs/sae-rm

   Using SAE's to interpret Reward Models (RM)

   Jupyter Notebook 1 1

4. safelife-option safelife-option Public

   Forked from PartnershipOnAI/safelife

   Python

5. guarantees-based-mechanistic-interpretability guarantees-based-mechanistic-interpretability Public

   Forked from JasonGross/guarantees-based-mechanistic-interpretability

   Jupyter Notebook

6. dictionary_learning dictionary_learning Public

   Forked from saprmarks/dictionary_learning

   Python