Delta_Mathematician / recipe.yaml
Shrikanth19's picture
Add NVFP4 quantized Goedel-Prover-V2-32B via llmcompressor
2a12a52 verified
raw
history blame contribute delete
170 Bytes
default_stage:
default_modifiers:
QuantizationModifier:
targets: [Linear]
ignore: [lm_head]
scheme: NVFP4
bypass_divisibility_checks: false