policy
Kimina-Prover-RL-1.7B
AI-MO · PyTorch
or hover any field below to flag it
Overview
Name
Kimina-Prover-RL-1.7B
Author
AI-MO
Framework
PyTorch
License
apache-2.0
Skill type
other
Evidence level
community
Task description
Policy model from AI-MO. Tags: safetensors, qwen3, base_model:AI-MO/Kimina-Prover-Distill-1.7B, base_model:finetune:AI-MO/Kimina-Prover-Distill-1.7B, license:apache-2.0.
Spaces
Action space
other · 0-dim · 0Hz
Observation space
- type: other
Links
HuggingFace repo
Paper (arXiv)
null
Compatible robots
20anybotics-anymal-cnot in seedalohanot in seedgoogle-barkour-vbnot in seedboston-dynamics-spotnot in seedfranka-fr3not in seedgoogle-barkour-v0not in seedagilex-pipernot in seedberkeley-humanoidnot in seedbitcraze-crazyflie-2not in seedanybotics-anymal-bnot in seedagility-cassienot in seedarx-l5not in seedbooster-t1not in seedfranka-emika-pandanot in seedfranka-fr3-v2not in seeddynamixel-2rnot in seedflexiv-rizon4not in seedassetsnot in seedapptronik-apollonot in seedfourier-n1not in seed
Compatible environments
0No environments list Kimina-Prover-RL-1.7B yet.
Datasets that reference this policy
0No datasets reference Kimina-Prover-RL-1.7B yet.