juihuichung/awakening-goedel-v2-32b-sft
Text Generation • 33B • Updated • 20
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
232
Active filters: lean4
juihuichung/awakening-sft-replay100
Text Generation • 677k • Updated • 14
juihuichung/awakening-goedel-v2-32b-rl
Text Generation • 33B • Updated • 11
juihuichung/awakening-rl-replay100
Text Generation • 677k • Updated • 12
mradermacher/awakening-rl-replay100-GGUF
33B • Updated • 375
mradermacher/awakening-goedel-v2-32b-sft-GGUF
33B • Updated • 373 • 1
openbmb/MathForm-8B
Text Generation • 8B • Updated • 1.2k • 9
Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft
Text Generation • Updated • 5
Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining
Text Generation • Updated • 5
mradermacher/MathForm-8B-GGUF
8B • Updated • 308
JanosMozer/qwen-lean4-formaliser-vLoRA
Text Generation • Updated • 7
JanosMozer/qwen-lean4-formaliser-vDoRA
Text Generation • Updated • 10
Irfanuruchi/MathForm-8B-MLX-4bit
8B • Updated • 16
Irfanuruchi/MathForm-8B-MLX-6bit
8B • Updated • 16
Irfanuruchi/MathForm-8B-MLX-8bit
8B • Updated • 22
introvoyz042/OProver-32B
Text Generation • 33B • Updated • 9
introvoyz042/OProver-8B
Text Generation • 8B • Updated • 9
callensxavier/leanflow-dualscale-pde
Updated • 11
callensxavier/leanflow-dual-scale-solver
Other • Updated
Snapkitty/sovereign-array
Updated
Snapkitty/lean-llm-starter
Updated
Snapkitty/sovereign-array-frontend
Updated
Snapkitty/snapkitty-papers
Updated
Snapkitty/sovereign-qra
Updated
Snapkitty/sovereign-agc
Updated
Snapkitty/sovereign-trinity-kernel
Updated
Snapkitty/ahmad-foundations
Updated
Snapkitty/burt-imma
Text Generation • Updated • 289
Snapkitty/sovereign-tournament
Updated
Snapkitty/sovereign-compiler
Updated