← 최신 프로덕트

Symbolic Circuit Distillation

prove program to LLM circuit equivalence. Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits. I have been working on a small interpretability project I call Symbolic Circuit Distillation.

오픈소스

73 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. GPT Circuits

    peterlai.github.io

    Mapping the inner workings of simple LLMs

    Hacker News6점

  2. A Transformer model that preserves logical equivalence

    huggingface.co

    Optimize logic circuits by minimizing their size while preserving logical equivalence. Provide a logic circuit in Aiger format with up to 8 inputs and 2 outputs, and specify the number of Monte-Car...

    Hacker News9점

  3. SymDerive

    news.ycombinator.com

    A functional, stateless symbolic math library

    Hacker News26점

  4. DistilKitPlus

    github.com

    a distillation framework between any LLMs

    Hacker News10점

  5. SymbolicAI

    github.com

    A neurosymbolic perspective on LLMs

    Hacker News26점