Shrikanth19
/

Delta_Mathematician

8-bit precision

compressed-tensors

Model card Files Files and versions

Delta_Mathematician / .gitattributes

Commit History

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

2a12a52
verified

Shrikanth19 commited on Mar 31

initial commit

1911334
verified

Shrikanth19 commited on Mar 31