20 results

theorem

inall models datasets apps agents people projects

Models

All models matching “theorem”

prithivMLmods /Procyon-1.5B-Theorem-GGUFtext-generationtransformersen0 likes350 downloads1y agoHugging Face mradermacher /Procyon-1.5B-Qwen2-Theorem-GGUFtransformersen0 likes209 downloads1y agoHugging Face JetBrains-Research /rocq-language-theorem-embeddingsen0 likes33 downloads11mo agoHugging Face dots123 /qwen-7b-theorem-engine-v3-mlx-q4text-generationmlxen0 likes31 downloads4mo agoHugging Face dots123 /qwen-7b-theorem-engine-v2-mlx-q4text-generationmlxen0 likes23 downloads4mo agoHugging Face TONKKrongyuth /finetune-all-minilm-I6-v2-proofwiki_w-theoremsentence-similaritysentence-transformers0 likes18 downloads2y agoHugging Face TONKKrongyuth /finetune-all-minilm-L6-v2-proofwiki_wo-theoremsentence-similaritysentence-transformers0 likes17 downloads2y agoHugging Face prithivMLmods /Procyon-1.5B-Qwen2-Theoremtext-generationtransformersen0 likes13 downloads1y agoHugging Face