← Product catalog

Model

mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF

Модель «mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF», представлен в Hugging Face. Возможности и условия использования уточняются по первоисточнику.

Open product ↗

Owner / publisher

mradermacher →
Publisher identified by the source; legal ownership remains under review.

Usage conditions

License: Не подтверждена
Use: Needs verification
Automation: Needs verification
Data updated: 10 October 2026

Source declaration (unverified): mit

Source: Hugging Face
Repository: https://huggingface.co/mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF

Лицензия продукта и условия сервиса ещё не проверены.
Допустимость автоматизации и использования API ещё не проверена.