Shrikanth19
/

Delta_Mathematician

8-bit precision

compressed-tensors

Model card Files Files and versions

Delta_Mathematician / vocab.json

Shrikanth19's picture

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

2a12a52 verified about 2 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.