callensxavier/laya-lora-modernbert-r8
Text Classification • Updated • 9
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
249
Active filters: lean4
Snapkitty/ai-free
Updated
Snapkitty/tlm-jxcl-forge
Updated
prithwish-jana/aiprover-119b
Updated • 18 • 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 • 11
EPFL-LARA/lean-encoder-modernbert-large
Text Classification • 0.4B • Updated • 26
EPFL-LARA/lean-one-token-qwen3-8b
Text Classification • 8B • Updated • 23
EPFL-LARA/lean-feedback-qwen3-4b
Text Generation • 4B • Updated • 1.19k
EPFL-LARA/lean-world-model-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 1.53k
EPFL-LARA/lean-world-model-qwen3-8b-sft
Text Generation • 8B • Updated • 1.42k
EPFL-LARA/lean-standard-prover-qwen3-8b-sft
Text Generation • 8B • Updated • 1.45k • 1
EPFL-LARA/lean-world-model-qwen3-8b-grpo
Text Generation • 8B • Updated • 1.62k
EPFL-LARA/lean-world-model-qwen3-4b-grpo
Text Generation • 4B • Updated • 1.45k
EPFL-LARA/lean-standard-prover-qwen3-8b-grpo
Text Generation • 8B • Updated • 1.49k
EPFL-LARA/lean-standard-prover-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 1.48k
mradermacher/lean-standard-prover-qwen3-8b-reasoning-grpo-GGUF
8B • Updated • 922
mradermacher/lean-world-model-qwen3-8b-reasoning-grpo-GGUF
8B • Updated • 725
viai957/align
Text Generation • Updated
CamiloS1111/ragsolver
Updated
hmzprover/hpsearch-embed-xs
Sentence Similarity • Updated
hmzprover/hpsearch-embed-4b
4B • Updated • 47
Pengzhen23/Gobble-Prover-1.7B
Text Generation • 2B • Updated • 71
vignesh-trustt/proofforge-probe-p3-leanrl-cispo-iter1
Updated • 19
vignesh-trustt/proofforge-sft-checkpoint-e2e-smoke-sft-2026.10.26
Updated