1-Shot 136x136 Stiefel-Bianchi Shadow Eigensolver & Carry-Free Witt Bit-Plane Calculus for Qualtran/Cirq (1,754 -> 0 nonlinear GF(2) ANF gates in 1 eigensolve, Lean 4.20.0 0 sorryAx).
Lean Updated 10 days ago 1 commits
echo-ai|Mirror: justinarndtQ/stiefel-bianchi-anf-evaporator-lean (⭐0)
10 days agoAbout
1-Shot 136x136 Stiefel-Bianchi Shadow Eigensolver & Carry-Free Witt Bit-Plane Calculus for Qualtran/Cirq (1,754 -> 0 nonlinear GF(2) ANF gates in 1 eigensolve, Lean 4.20.0 0 sorryAx).
Readme