Pinned Loading

1. world world Public

   a python implementation of a "logical bayesian network"

   1

2. psychic psychic Public

   python experiments for gpt2 interpretability

   Python

3. science science Public

   1

4. sigmoid-transformer-lean sigmoid-transformer-lean Public

   a transformer with a sigmoid already is a bayesian network

   Lean

5. verify verify Public

   notes on the concept of "verification" in artificial intelligence