policy

Kimina-Prover-RL-1.7B

AI-MO · PyTorch

or hover any field below to flag it

Overview

Name

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

AI-MO/Kimina-Prover-RL-1.7B

Paper (arXiv)

null

Compatible robots

3+17 mentioned but not in catalog yet

SpotBoston Dynamics T1Booster Robotics ApolloApptronik

Compatible environments

No environments list Kimina-Prover-RL-1.7B yet.

Datasets that reference this policy

No datasets reference Kimina-Prover-RL-1.7B yet.