Add NVFP4 quantized Goedel-Prover-V2-32B via llmcompressor

2a12a52

verified

Shrikanth19 commited on Mar 31