viai957/align
Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
237
Active filters: lean4
CamiloS1111/ragsolver
Updated
hmzprover/hpsearch-embed-xs
Sentence Similarity • Updated
hmzprover/hpsearch-embed-4b
4B • Updated • 33
Pengzhen23/Gobble-Prover-1.7B
Text Generation • 2B • Updated • 59
vignesh-trustt/proofforge-probe-p3-leanrl-cispo-iter1
Updated • 14
vignesh-trustt/proofforge-sft-checkpoint-e2e-smoke-sft-2026.10.26
Updated
vignesh-trustt/proofforge-dpo-checkpoint-e2e-smoke-dpo-2026.10.26
Updated
vignesh-trustt/proofforge-rlvr-run-e2e-smoke-rlvr-2026.10.26
Updated
hmzprover/hpsearch-embed-xs-agent
Sentence Similarity • Updated
hmzprover/hpsearch-embed-4b-agent
Sentence Similarity • 4B • Updated • 38
hmzprover/hpsearch-embed-xs-state
Sentence Similarity • Updated
hmzprover/hpsearch-embed-4b-state
Sentence Similarity • 4B • Updated • 30
hmzprover/hpsearch-rerank-4b-state
Text Ranking • 4B • Updated • 38
hmzprover/hpsearch-embed-4b-v2
Sentence Similarity • 4B • Updated • 36
hmzprover/hpsearch-rerank-4b
Text Ranking • 4B • Updated • 45
viai957/proofforge-goedel8b-sft-lora-e2e-smoke
Updated • 17 • 1
viai957/Goedel-Prover-V2-8B-EI-campaign1-r1
Text Generation • 8B • Updated • 299
viai957/Goedel-Prover-V2-8B-EI-campaign1-r2
Text Generation • 8B • Updated • 293
viai957/Goedel-Prover-V2-8B-EI-campaign1-r3
Text Generation • 8B • Updated • 311 • 1
hmzprover/hpsearch-embed-fast
Sentence Similarity • 0.3B • Updated • 25
hmzprover/hpsearch-embed-4b-state-v2
Sentence Similarity • 4B • Updated • 25
hmzprover/hpsearch-rerank-4b-state-v2
Text Ranking • 4B • Updated • 33
hmzprover/hpsearch-embed-8b-nl
Sentence Similarity • 8B • Updated • 28
hmzprover/hpsearch-embed-fast-v2
Sentence Similarity • 0.3B • Updated • 26
NathanHerr/sgs-repl-sgs-01-checkpoints
Updated
BertilBraun/lean4-prover-qwen3.5-4b-grpo-lora
Reinforcement Learning • Updated