Hugging Face model: xiaoxuezhu/deepseek-math-isabelle-prover-lora
Author: xiaoxuezhu
Created: 2026-05-15 02:36:58
Last modified: 2026-07-02 02:15:36
Pipeline: text-generation
Library: peft
Likes: 0 | Downloads: 1
Tags: peft, safetensors, base_model:adapter:deepseek-ai/deepseek-math-7b-base, lora, transformers, isabelle, isabelle-hol, theorem-proving, neural-theorem-proving, formal-verification, text-generation, base_model:deepseek-ai/deepseek-math-7b-base, license:other, region:us
Base model relation: adapter
Base models: id: deepseek-ai/deepseek-math-7b-base
Card metadata:
base_model: deepseek-ai/deepseek-math-7b-base
library_name: peft
pipeline_tag: text-generation
tags: base_model:adapter:deepseek-ai/deepseek-math-7b-base, lora, peft, transformers, isabelle, isabelle-hol, theorem-proving, neural-theorem-proving, formal-verification
license: other