Official Implementation of "Circuit Transformer: A Transformer That Preserves Logical Equivalence" - View it on GitHub