Pinned Loading

1. symbolic-circuit-distillation symbolic-circuit-distillation Public

   Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits

   Python 33 2

2. epistemic-stance-mechinterp epistemic-stance-mechinterp Public

   Do models distinguish between declared-true and declared-false premises?

   Python 4

3. cuq cuq Public

   Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

   Rocq Prover 116 2

4. kv-marketplace kv-marketplace Public

   Cross-GPU KV Cache Marketplace

   Python 22 3