papers

Formal mathematics papers from the SnapKitty / SNAPKITTYWEST research stack.

🆕 quantum/cpsc_qft_conservation_preserving_compilation.pdf — Conservation-Preserving Compilation for a 1+1D Lattice Shadow of φ⁴ (Ahmad Ali Parr, October 2026). Paper text licensed GPL-3.0-or-later (code: CPSC-ESCL-1.0 or AGPL-3.0-only). Release page: Snapkitty/cpsc-qft-paper · DOI 10.5281/zenodo.23287576
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

License

Licensed under AGPL-3.0. Full text: LICENSE.

💼 Commercial License

Snapkitty code is free and open under AGPL-3.0 for open-source use. Building a commercial product or service? A proprietary commercial license from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.

→ Get a commercial license · A.parr@belespritdaccord.uk

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Space using Snapkitty/snapkitty-papers 1

Collection including Snapkitty/snapkitty-papers

Research and Papers

Collection

25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results. • 18 items • Updated Sep 8

Snapkitty
/

snapkitty-papers