FluffyAIcode
Kakeya-OProver-Stage4-Repair-SFT
Based on m-a-p/OProver-8B
Tags
- safetensors
- lean
- lean4
- theorem-proving
- lora
- conversational
- base_model:m-a-p/OProver-8B
- base_model:adapter:m-a-p/OProver-8B
- license:apache-2.0
- region:us
- Author
- FluffyAIcode
- Task
- text-generation
- Library
- peft
- License
- apache-2.0
- Base model
- m-a-p/OProver-8B
- Downloads
- 6
- Likes
- 0