Snapkitty/topological-quantum-computer
Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
232
Active filters: lean4
Snapkitty/sovereign-agi-kernel
Updated
Snapkitty/bob-ide
Updated
Snapkitty/aes-verification-suite
Updated
Snapkitty/forge-polyglot-verifier
Updated
Snapkitty/cosmic-invariant-sieve
Updated
Snapkitty/pure-validity
Updated
Snapkitty/sovereign-forge
Updated
Snapkitty/quantabeta-core
Updated
Snapkitty/j-matrix-twin
Updated
Snapkitty/snapkitty-clojure-lisp-bridge
Updated
Snapkitty/sovereign-mimo-4b
Text Generation • Updated
Snapkitty/snapkitty-nemotron-harness
Updated
Snapkitty/sovereign-entropy-theorem
Text Generation • Updated
Snapkitty/black-hole-engine
Updated
Snapkitty/snapkitty-open-source
Text Generation • Updated
alpha-proof-open-source/alphaproof-full-v3-value-head
Updated • 1
SNAPKITTYWEST/burt-imma
Text Generation • Updated • 372
awhecmu/canonical-drafter-ei2m-drafter-GGUF
9B • Updated • 43
Snapkitty/p3q-tsql
Updated
callensxavier/leanflow-mechanized-t-duality-k3t2
Feature Extraction • Updated
dougdotcon/douvras-lean-proof-repair-classifier
Text Classification • Updated
tinyopsec/StepFun-Formalizer-7B-GGUF
Text Generation • 8B • Updated • 54
anonymous-submission-naacl/Gobble-Prover-1.7B
Text Generation • 2B • Updated • 84
mradermacher/Gobble-Prover-1.7B-GGUF
2B • Updated • 360
jytan12/causalean-retrieval
Sentence Similarity • 0.3B • Updated • 14
AxisMeru/prabhasa-nyaya-step2-sft-arm-c-ordervol
Text Generation • 3B • Updated • 33
AxisMeru/prabhasa-nyaya-step2-sft-arm-c-discrim16
Text Generation • 3B • Updated • 17
Duoia/duotactic
Text Generation • Updated • 71 • 1
Abu-Dju/Leanstral-1.5-119B-A6B-GGUF
119B • Updated • 183