Hugging Face model: ofankit/finance-formalisation-rlvr-4b-focus
Author: ofankit
Created: 2026-07-24 11:18:01
Last modified: 2026-07-24 11:20:56
Pipeline: text-generation
Library: peft
Likes: 0 | Downloads: 14
Tags: peft, safetensors, lora, finance, lean4, formal-reasoning, rlvr, grpo, transformers, trl, text-generation, arxiv:2402.03300, base_model:Qwen/Qwen3-4B-Instruct-2507, base_model:adapter:Qwen/Qwen3-4B-Instruct-2507, license:apache-2.0, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen3-4B-Instruct-2507
Card metadata:
base_model: Qwen/Qwen3-4B-Instruct-2507
base_model_relation: adapter
library_name: peft
model_name: finance-formalisation-rlvr-4b-focus
license: apache-2.0
pipeline_tag: text-generation
tags: lora, peft, finance, lean4, formal-reasoning, rlvr, grpo, transformers, trl