huawei-ai4math
/

Mathesis-Autoformalizer-HPO

Model card Files Files and versions

No model card

Downloads last month: 14

Safetensors

Model size

7.62B params

Tensor type

F16

·

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for huawei-ai4math/Mathesis-Autoformalizer-HPO

Quantizations

1 model