Snapkitty
/

snapkitty-papers

formal-mathematics

theorem-proving

attention-mechanism

nand-decomposition

Model card Files Files and versions

snapkitty-papers / mathlib5 /mathlib5_zenodo.pdf

SNAPKITTYWEST's picture

chore: restore papers as model repo (was reserved name)

236b068 verified about 1 month ago

History Contribute Delete

8.5 kB