Modelpublic

Snapkitty/snapkitty-papers

sourceHugging Faceotherupdated 22d agoView on Hugging Face

0likes

Model Card

papers

Formal mathematics papers from the SnapKitty / SNAPKITTYWEST research stack.

—formal-math/attention_nand_decomposition_full.pdf — Full NAND decomposition of the attention mechanism
—formal-math/gkn_boole_e7_quartic.pdf — GKN Boole E7 quartic (PDF + LaTeX source)
—formal-math/theorem_t1.pdf through theorem_t4.pdf — Core theorem sequence