ChloeL19

ChloeL19's Stars

• ai-safety-foundation/sparse_autoencoder

  Sparse Autoencoder for Mechanistic Interpretability

  Language:Python23354141

• ChuyueSun/Clover

  Clover: Closed-Loop Verifiable Code Generation

  Language:Dafny31422

• sun-wendy/DafnyBench

  DafnyBench: A Benchmark for Formal Software Verification

  Language:Dafny29104

• CLARKBENHAM/circuit-breakers

  Improving Alignment and Robustness with Circuit Breakers

  Language:Jupyter Notebook1000