Snapkitty
/

snapkitty-papers

formal-mathematics

theorem-proving

attention-mechanism

nand-decomposition

Model card Files Files and versions

papers

Formal mathematics papers from the SnapKitty / SNAPKITTYWEST research stack.

Contents

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

Links

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