{
  "alpha_pattern": {},
  "auto_mapping": null,
  "base_model_name_or_path": "kaiyuy/leandojo-lean4-tacgen-byt5-small",
  "bias": "none",
  "fan_in_fan_out": false,
  "inference_mode": true,
  "init_lora_weights": true,
  "layer_replication": null,
  "layers_pattern": null,
  "layers_to_transform": null,
  "loftq_config": {},
  "lora_alpha": 256,
  "lora_dropout": 0.05,
  "megatron_config": null,
  "megatron_core": "megatron.core",
  "modules_to_save": null,
  "peft_type": "LORA",
  "r": 128,
  "rank_pattern": {},
  "revision": null,
  "target_modules": [
    "q",
    "wi_0",
    "k",
    "wi_1",
    "v",
    "o",
    "wo"
  ],
  "task_type": "SEQ_2_SEQ_LM",
  "use_dora": true,
  "use_rslora": true
}