reprover_proving_random / adapter_config.json
tcwong's picture
Upload 9 files
36db28a verified
{
"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
}