Hugging Face model: EricSpencer00/chattla-20b-prover-v3
Author: EricSpencer00
Created: 2026-05-09 16:52:05
Last modified: 2026-05-10 10:00:05
Library: peft
Likes: 0 | Downloads: 4
Tags: peft, safetensors, tla-plus, tlaps, formal-methods, theorem-proving, lora, en, base_model:openai/gpt-oss-20b, base_model:adapter:openai/gpt-oss-20b, license:apache-2.0, region:us
Base model relation: adapter
Base models: id: openai/gpt-oss-20b
Card metadata:
base_model: openai/gpt-oss-20b
library_name: peft
license: apache-2.0
tags: tla-plus, tlaps, formal-methods, theorem-proving, lora
language: en