anonymous-submission-naacl/Gobble-Prover-1.7B
Text Generation • 2B • Updated • 86
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
237
Active filters: lean4
mradermacher/Gobble-Prover-1.7B-GGUF
2B • Updated • 355
jytan12/causalean-retrieval
Sentence Similarity • 0.3B • Updated • 14
AxisMeru/prabhasa-nyaya-step2-sft-arm-c-ordervol
Text Generation • 3B • Updated • 34
AxisMeru/prabhasa-nyaya-step2-sft-arm-c-discrim16
Text Generation • 3B • Updated • 18
Duoia/duotactic
Text Generation • Updated • 74 • 1
Abu-Dju/Leanstral-1.5-119B-A6B-GGUF
119B • Updated • 184
callensxavier/laya-lora-modernbert-r8
Text Classification • Updated • 15
Snapkitty/ai-free
Updated
Snapkitty/tlm-jxcl-forge
Updated
prithwish-jana/aiprover-119b
Updated • 28 • 2
Snapkitty/goldilocks-controlled-reduce
Updated
Snapkitty/hcalc
Updated
Snapkitty/riemann-gas
Updated
Snapkitty/snapkitty-multiplicity-counterclaim
Updated
Snapkitty/cpsc-qft
Updated
Snapkitty/sparse-router-formal
Updated
Gabrielebattimelli/Leanerstral-1.5-112E
Text Generation • Updated • 8
EPFL-LARA/lean-encoder-modernbert-large
Text Classification • 0.4B • Updated • 31
EPFL-LARA/lean-one-token-qwen3-8b
Text Classification • 8B • Updated • 39
EPFL-LARA/lean-feedback-qwen3-4b
Text Generation • 4B • Updated • 1.05k
EPFL-LARA/lean-world-model-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 942
EPFL-LARA/lean-world-model-qwen3-8b-sft
Text Generation • 8B • Updated • 856
EPFL-LARA/lean-standard-prover-qwen3-8b-sft
Text Generation • 8B • Updated • 872 • 1
EPFL-LARA/lean-world-model-qwen3-8b-grpo
Text Generation • 8B • Updated • 847
EPFL-LARA/lean-world-model-qwen3-4b-grpo
Text Generation • 4B • Updated • 858
EPFL-LARA/lean-standard-prover-qwen3-8b-grpo
Text Generation • 8B • Updated • 840
EPFL-LARA/lean-standard-prover-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 890
mradermacher/lean-standard-prover-qwen3-8b-reasoning-grpo-GGUF
8B • Updated • 529
mradermacher/lean-world-model-qwen3-8b-reasoning-grpo-GGUF
8B • Updated • 538