vincentoh/kimina-prover-rrma-sft
Updated • 2
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
81
Active filters: theorem-proving
ChristianZ97/satp-policy-v2
Reinforcement Learning • Updated
SEBK4C/LEANSTRAL-WHITEDWARF
119B • Updated • 81
kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16
Text Generation • Updated • 12 • 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 • 113
deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF
Text Generation • 8B • Updated • 216
ChristianZ97/satp-policy-v4.27
Reinforcement Learning • Updated
ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl
Text Generation • 8B • Updated • 548 • 1
FluffyAIcode/Kakeya-OProver-Stage1-SFT90
Text Generation • Updated • 18
FluffyAIcode/Kakeya-OProver-Stage2-SFT1000
Text Generation • Updated • 21
FluffyAIcode/Kakeya-OProver-Stage3-DPO
Text Generation • Updated • 16
FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT
Text Generation • Updated • 21
juihuichung/awakening-goedel-v2-32b-sft
Text Generation • 33B • Updated • 610
juihuichung/awakening-goedel-v2-32b-rl
Text Generation • 33B • Updated • 592
mradermacher/awakening-goedel-v2-32b-sft-GGUF
33B • Updated • 397 • 1
Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining
Text Generation • Updated • 9
murillo2000/qwen3-8b-base-lean-sft-qlora
Text Generation • Updated • 14
JanosMozer/qwen-lean4-formaliser-vLoRA
Text Generation • Updated
JanosMozer/qwen-lean4-formaliser-vDoRA
Text Generation • Updated