Hugging Face model: EricSpencer00/chattla-20b
Author: EricSpencer00
Created: 2026-03-06 20:25:12
Last modified: 2026-07-04 02:00:18
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 269
Tags: transformers, safetensors, gguf, gpt_oss, text-generation, tla-plus, formal-methods, formal-verification, code-generation, trl, sft, grpo, reinforcement-learning, generated_from_trainer, conversational, en, dataset:EricSpencer00/chattla-20b, base_model:openai/gpt-oss-20b, base_model:quantized:openai/gpt-oss-20b, license:apache-2.0, endpoints_compatible, region:us
Base model relation: quantized
Base models: id: openai/gpt-oss-20b
Card metadata:
base_model: openai/gpt-oss-20b
language: en
license: apache-2.0
library_name: transformers
model_name: ChatTLA-20b
tags: tla-plus, formal-methods, formal-verification, code-generation, trl, sft, grpo, reinforcement-learning, generated_from_trainer
datasets: EricSpencer00/chattla-20b
pipeline_tag: text-generation