Hugging Face model: imbue2025/RWKV-7-Prover-1.5b
Author: imbue2025
Created: 2026-02-02 13:36:15
Last modified: 2026-02-03 06:46:53
Library: rwkv
Likes: 4 | Downloads: 8
Tags: rwkv, rwkv-7, lean4, mathematics, formal-verification, state-tuning, theorem-proving, auto-formalization, en, base_model:BlinkDL/rwkv-7-world, base_model:finetune:BlinkDL/rwkv-7-world, license:openrail, region:us
Base model relation: finetune
Base models: id: BlinkDL/rwkv-7-world
Card metadata:
license: openrail
tags: rwkv, rwkv-7, lean4, mathematics, formal-verification, state-tuning, theorem-proving, auto-formalization
language: en
metrics: loss
base_model: BlinkDL/rwkv-7-world