anjohn0077
/

NEXS-qwen3-32b-prover-lora

Model card Files Files and versions

NEXS-qwen3-32b-prover-lora

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

anjohn0077's picture

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 2 months ago

.gitattributes

1.52 kB
initial commit 2 months ago
README.md

1.47 kB
Add README for sanitized vLLM-ready prover adapter 2 months ago
adapter_config.json

435 Bytes
Upload sanitized vLLM-ready Qwen3-32B prover LoRA (pure lora_A/lora_B, modules_to_save stripped; source: Goedel-LM/Goedel-Prover-V2-32B) 2 months ago
adapter_model.safetensors

2.15 GB
xet

Upload sanitized vLLM-ready Qwen3-32B prover LoRA (pure lora_A/lora_B, modules_to_save stripped; source: Goedel-LM/Goedel-Prover-V2-32B) 2 months ago