EricSpencer00 commited on
Commit
cd1f8d9
·
verified ·
1 Parent(s): 09e4bba

v22: Modelfile → chattla-20b-v22-Q8_0.gguf

Browse files
Files changed (1) hide show
  1. gguf/Modelfile +3 -3
gguf/Modelfile CHANGED
@@ -1,7 +1,7 @@
1
  # ChatTLA — Fine-tuned gpt-oss-20b for TLA+ specification generation
2
  # Generated by src/inference/convert_to_gguf.py
3
 
4
- FROM ./chattla-20b-v20-Q8_0.gguf
5
 
6
  # Harmony prompt format
7
  # =====================
@@ -21,7 +21,7 @@ FROM ./chattla-20b-v20-Q8_0.gguf
21
 
22
  TEMPLATE """<|start|>system<|message|>You are ChatGPT, a large language model trained by OpenAI.
23
  Knowledge cutoff: 2024-06
24
- Current date: 2026-05-01
25
 
26
  Reasoning: low
27
 
@@ -59,7 +59,7 @@ Critical TLA+ syntax rules:
59
 
60
  PARAMETER temperature 0.3
61
  PARAMETER num_ctx 4096
62
- PARAMETER repeat_penalty 1.3
63
  PARAMETER repeat_last_n 256
64
  PARAMETER top_k 40
65
  PARAMETER top_p 0.9
 
1
  # ChatTLA — Fine-tuned gpt-oss-20b for TLA+ specification generation
2
  # Generated by src/inference/convert_to_gguf.py
3
 
4
+ FROM ./chattla-20b-v22-Q8_0.gguf
5
 
6
  # Harmony prompt format
7
  # =====================
 
21
 
22
  TEMPLATE """<|start|>system<|message|>You are ChatGPT, a large language model trained by OpenAI.
23
  Knowledge cutoff: 2024-06
24
+ Current date: 2026-07-02
25
 
26
  Reasoning: low
27
 
 
59
 
60
  PARAMETER temperature 0.3
61
  PARAMETER num_ctx 4096
62
+ PARAMETER repeat_penalty 1.0
63
  PARAMETER repeat_last_n 256
64
  PARAMETER top_k 40
65
  PARAMETER top_p 0.9