vxkyyy/vlsi-moe-ffn-merged-formal
Text Generation • 33B • Updated • 9
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
173
Active filters: formal-verification
xiaoxuezhu/deepseek-math-isabelle-prover-lora
Text Generation • Updated • 14
ludwigw/trm-mnist-baseline
Updated
metamatematico/Metamatematico
Text Classification • Updated • 7
OzLabs/VericodingEBM
Updated
callensxavier/runux-wars-quantum-ltn-512q
Updated
GuilhermeOliveira/entity
Updated • 1
mmoselhy077/qwen3-8b-sva-thinking-abl839-lora
Text Generation • Updated • 25
mmoselhy077/qwen3-8b-sva-c2epochs-merged
Text Generation • 8B • Updated • 5
mmoselhy077/qwen3-8b-sva-rest-r1-merged
Text Generation • 8B • Updated • 3
mmoselhy077/qwen3-8b-sva-rest-r2-merged
Text Generation • 8B • Updated • 38
kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16
Text Generation • Updated • 10 • 1
Snapkitty/bob-reasoning
Updated
Snapkitty/sovereign-mamba
Updated
Snapkitty/frankenstein
Updated
Snapkitty/sovereign-router
Updated
Snapkitty/snapkitty-nemotron
Text Generation • 4B • Updated • 33
Snapkitty/snapkitty-harness
Text Generation • 4B • Updated • 30
deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX
Text Generation • 8B • Updated • 10.5k
deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF
Text Generation • 8B • Updated • 55
EricSpencer00/chattla-w4dg-120b-adapter
Updated • 12
EricSpencer00/chattla-w4dg-120b
Text Generation • 117B • Updated • 10
Snapkitty/sov-kernel-monster
Updated
Jalik/qwen3-8b-codev-sva-ol-dfs-think
Text Generation • 8B • Updated • 11
openbmb/MathForm-8B
Text Generation • 8B • Updated • 1.55k • 9
mradermacher/MathForm-8B-GGUF
8B • Updated • 394
JanosMozer/qwen-lean4-formaliser-vLoRA
Text Generation • Updated • 6
JanosMozer/qwen-lean4-formaliser-vDoRA
Text Generation • Updated • 8
Sagicc/nanoGentzen
Feature Extraction • 4.86M • Updated • 10
Sagicc/nanoGentzen-v2
Feature Extraction • 4.86M • Updated • 30