Hugging Face's logo

EricSpencer00
/
chattla-20b

Text Generation
Transformers
PyTorch
GGUF
English
gpt_oss
tla-plus
formal-methods
formal-verification
code-generation
trl
sft
Generated from Trainer
conversational
Model card Files
xet
Community
chattla-20b / tokenizer.json

Commit History

ChatTLA v10 — fine-tuned gpt-oss-20b for TLA+ spec generation
749c452
verified

EricSpencer00 commited on