← Product catalog

Model

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFT

Модель «ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFT», представлен в Hugging Face. Возможности и условия использования уточняются по первоисточнику.

Open product ↗

Owner / publisher

ThuraAung1601 →
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): cc-by-nc-4.0

Source: Hugging Face
Repository: https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFT

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