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 - Xet hash:
- 1e8a7c7bd81bd1bea81b4983ce783b0496f7d4a33939c4792a5f0a8a1a837053
- Size of remote file:
- 2.15 GB
- SHA256:
- 6b5c2a6c5f96b5ffc48c1cae8c2c9d98adb1d2e8f06e17bc01a645813e6f3302
·
Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.