ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning • Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
76
Active filters: theorem-proving
vincentoh/kimina-prover-rrma-sft
Updated • 2
ChristianZ97/satp-policy-v2
Reinforcement Learning • Updated
SEBK4C/LEANSTRAL-WHITEDWARF
119B • Updated • 63
kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16
Text Generation • Updated • 16 • 1
fieldsmodelorg/Olmo-3.1-32B-Think-OPD-IMO
Text Generation • Updated
ChristianZ97/satp-policy-v2-alphaproof
Reinforcement Learning • Updated • 1
deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX
Text Generation • 1B • Updated • 93
deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF
Text Generation • 8B • Updated • 204
ChristianZ97/satp-policy-v4.27
Reinforcement Learning • Updated
FluffyAIcode/Kakeya-OProver-Stage1-SFT90
Text Generation • Updated • 11
FluffyAIcode/Kakeya-OProver-Stage2-SFT1000
Text Generation • Updated • 14
FluffyAIcode/Kakeya-OProver-Stage3-DPO
Text Generation • Updated • 11
FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT
Text Generation • Updated • 13
juihuichung/awakening-goedel-v2-32b-sft
Text Generation • 33B • Updated
juihuichung/awakening-goedel-v2-32b-rl
Text Generation • 33B • Updated