ChristianZ97/satp-policy-v4.27
Reinforcement Learning • Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
151
Active filters: lean4
ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl
Text Generation • 8B • Updated • 199 • 1
Snapkitty/sov-kernel-monster
Updated
FluffyAIcode/Kakeya-OProver-Stage1-SFT90
Text Generation • Updated • 18
FluffyAIcode/Kakeya-OProver-Stage2-SFT1000
Text Generation • Updated • 22
FluffyAIcode/Kakeya-OProver-Stage3-DPO
Text Generation • Updated • 18
FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT
Text Generation • Updated • 22
juihuichung/awakening-goedel-v2-32b-sft
Text Generation • 33B • Updated • 713
juihuichung/awakening-sft-replay100
Text Generation • 677k • Updated • 688
juihuichung/awakening-goedel-v2-32b-rl
Text Generation • 33B • Updated • 692
juihuichung/awakening-rl-replay100
Text Generation • 677k • Updated • 690
mradermacher/awakening-rl-replay100-GGUF
33B • Updated • 301
mradermacher/awakening-goedel-v2-32b-sft-GGUF
33B • Updated • 480 • 1
openbmb/MathForm-8B
Text Generation • 8B • Updated • 854 • 8
Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft
Text Generation • Updated • 15
Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining
Text Generation • Updated • 11
mradermacher/MathForm-8B-GGUF
8B • Updated • 628
JanosMozer/qwen-lean4-formaliser-vLoRA
Text Generation • Updated • 21
JanosMozer/qwen-lean4-formaliser-vDoRA
Text Generation • Updated • 17
Irfanuruchi/MathForm-8B-MLX-4bit
8B • Updated • 23
Irfanuruchi/MathForm-8B-MLX-6bit
8B • Updated • 15
Irfanuruchi/MathForm-8B-MLX-8bit
8B • Updated • 19
introvoyz042/OProver-32B
Text Generation • 33B • Updated • 302
introvoyz042/OProver-8B
Text Generation • 8B • Updated • 303
callensxavier/leanflow-dualscale-pde
Updated • 24
callensxavier/leanflow-dual-scale-solver
Other • Updated
Snapkitty/snapkitty-papers
Updated
Snapkitty/sovereign-qra
Updated
Snapkitty/sovereign-mimo-4b
Text Generation • Updated
Snapkitty/sovereign-entropy-theorem
Text Generation • Updated