Kimina-Prover-RL-0.6B/configuration.json

{"framework": "pytorch", "task": "others", "allow_remote": true}