Shrikanth19
/

Delta_Mathematician

8-bit precision

compressed-tensors

Model card Files Files and versions

Delta_Mathematician / special_tokens_map.json

Commit History

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

2a12a52
verified

Shrikanth19 commited on Mar 31