{
  "K_max": 4,
  "T_max": 8,
  "clause_dropout": 0.25,
  "clause_dropout_min_keep": 2,
  "clause_hidden_dim": 384,
  "clause_topk": 1,
  "gate_mode": "sigmoid",
  "literal_add_posneg_cooc": true,
  "literal_embed_dim": 384,
  "literal_example_content_keys": true,
  "literal_example_x_bottleneck": 64,
  "literal_film_config": {
    "beta_init": "orthogonal",
    "beta_std": 0.5,
    "enabled": true,
    "gamma_init": "normal",
    "gamma_mean": 1.0,
    "gamma_std": 0.5,
    "mode": "full"
  },
  "literal_hidden_dim": 384,
  "mask_fill_value": -1000000000.0,
  "mutual_exclusion_hard": true,
  "setmatch_dropout": 0.1,
  "setmatch_hidden_dim": null,
  "setmatch_num_heads": 4,
  "setmatch_num_layers": 3
}