Model: the-hir0/ILM-lean-prover
Author: the-hir0
Tags: safetensors, internlm2, custom_code, license:apache-2.0, region:us
Card metadata: license: apache-2.0
Likes: 0 | All-time downloads: 25
Created: 2025-06-13 23:48:28