typeof/morph-prover-v0-7b-sharded
Text Generation • 7B • Updated • 9
Edit Models filters
Apps
Inference Providers
Active filters: lean
typeof/morph-prover-delta-lora
Text Generation • Updated
Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean
Text Generation • Updated
rahul3613/lean_byt5
0.3B • Updated • 4
rahul3613/lean_byt5_aug
Updated • 1
NorthernTribe-Research/math-conjecture-model
Text Generation • Updated • 56
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 7
sathishphdai/operations-manager-slm-1m
Text Generation • Updated • 1
sathishphdai/operations-manager-slm-5m
Text Generation • Updated • 2