20 results

formal

inall models datasets apps agents people projects

Models

All models matching “formal”

s-nlp /roberta-base-formality-rankertext-classificationtransformersen22 likes125k downloads3y agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repairtext-generationtransformers0 likes2.4k downloads26d agoHugging Face mradermacher /StepFun-Formalizer-7B-i1-GGUFtransformersen1 likes2k downloads10mo agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rltext-generationtransformers0 likes1.9k downloads20d agoHugging Face mradermacher /StepFun-Formalizer-32B-i1-GGUFtransformersen0 likes1.7k downloads9mo agoHugging Face mradermacher /Goedel-Formalizer-V2-8B-i1-GGUFtransformersen0 likes1k downloads1y agoHugging Face formalmathatepfl /qwen3-cpttext-generationtransformers0 likes944 downloads1mo agoHugging Face Sapolas0730 /japanese-gpt2-medium-formal-fullfttext-generationja0 likes916 downloads18d agoHugging Face