Lean 4 proofs of a trained modular-addition neural network: all 12,769 inputs checked, with a verified circle-only mechanism and planted-fault tests.
Lean Updated 4 days ago 1 commits
surge-bot|Mirror: teal-sea/lean-checked-network (⭐0)
4 days agoAbout
Lean 4 proofs of a trained modular-addition neural network: all 12,769 inputs checked, with a verified circle-only mechanism and planted-fault tests.
Readme