Instructions to use anjohn0077/NEXS-qwen3-32b-prover-lora with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
How to use anjohn0077/NEXS-qwen3-32b-prover-lora with PEFT:
from peft import PeftModel from transformers import AutoModelForCausalLM base_model = AutoModelForCausalLM.from_pretrained("Qwen/Qwen3-32B") model = PeftModel.from_pretrained(base_model, "anjohn0077/NEXS-qwen3-32b-prover-lora") - Notebooks
- Google Colab
- Kaggle
Upload sanitized vLLM-ready Qwen3-32B prover LoRA (pure lora_A/lora_B, modules_to_save stripped; source: Goedel-LM/Goedel-Prover-V2-32B)
e0c9120 verified | { | |
| "base_model_name_or_path": "Qwen/Qwen3-32B", | |
| "peft_type": "LORA", | |
| "use_rslora": false, | |
| "target_modules": [ | |
| "q_proj", | |
| "gate_proj", | |
| "o_proj", | |
| "up_proj", | |
| "v_proj", | |
| "down_proj", | |
| "k_proj" | |
| ], | |
| "modules_to_save": null, | |
| "task_type": "CAUSAL_LM", | |
| "r": 128, | |
| "lora_alpha": 128, | |
| "rank_pattern": {}, | |
| "alpha_pattern": {}, | |
| "lora_dropout": 0.0, | |
| "fan_in_fan_out": false, | |
| "inference_mode": true | |
| } |