{
  "architectures": [
    "GentzenPolicyValueModel"
  ],
  "auto_map": {
    "AutoConfig": "configuration_nanogentzen.GentzenConfig",
    "AutoModel": "modeling_nanogentzen.GentzenPolicyValueModel",
    "AutoTokenizer": "tokenization_nanogentzen.LogicTokenizerHF"
  },
  "block_size": 256,
  "max_antecedents": 16,
  "model_type": "nanogentzen",
  "n_embd": 256,
  "n_head": 8,
  "n_layer": 6,
  "num_rules": 11,
  "torch_dtype": "bfloat16",
  "vocab_size": 93
}