Pinned Loading

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

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

   Python 73 4

2. vericuda vericuda Public

   A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs

   Rocq Prover 132 3

3. gpt-erdos gpt-erdos Public

   A repo to document candidate solutions for Erdős problems produced via LLM-driven proof search

   Lean 15 1

4. priorproof priorproof Public

   Measure technique novelty for formal (Lean) proofs

   Python

5. automata-bench automata-bench Public

   A benchmark for reconstructing reversible cellular automata from partial space-time observations

   Python

6. verifiable-transformers verifiable-transformers Public

   SMT-encodable GPT-2 variant with formal guarantees

   Python 11 1