Hugging Face model: EricSpencer00/chattla-20b-v15
Author: EricSpencer00
Created: 2026-04-24 20:27:01
Last modified: 2026-04-24 20:27:29
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, tla-plus, formal-methods, formal-verification, code-generation, trl, sft, grpo, reinforcement-learning, generated_from_trainer, text-generation, en, dataset:EricSpencer00/chattla-20b, base_model:openai/gpt-oss-20b, base_model:finetune:openai/gpt-oss-20b, license:apache-2.0, endpoints_compatible, region:us
Base model relation: finetune
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