Hugging Face model: markm39/openproof-tactic-2b
Author: markm39
Created: 2026-03-31 22:11:42
Last modified: 2026-03-31 22:29:44
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, base_model:adapter:Qwen/Qwen3.5-2B, lora, lean4, theorem-proving, tactic-prediction, formal-verification, mathlib, peft, text-generation, conversational, dataset:markm39/openproof-tactic-pairs, base_model:Qwen/Qwen3.5-2B, license:mit, endpoints_compatible, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen3.5-2B
Card metadata:
base_model: Qwen/Qwen3.5-2B
pipeline_tag: text-generation
tags: base_model:adapter:Qwen/Qwen3.5-2B, lora, transformers, lean4, theorem-proving, tactic-prediction, formal-verification, mathlib, peft
license: mit
datasets: markm39/openproof-tactic-pairs