models
Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.
Procyon-1.5B-Theorem-GGUFProcyon-1.5B-Qwen2-Theorem-GGUFqwen-7b-theorem-engine-v3-mlx-q4rocq-language-theorem-embeddingsqwen-7b-theorem-engine-v2-mlx-q4finetune-all-minilm-I6-v2-proofwiki_w-theoremfinetune-all-minilm-L6-v2-proofwiki_wo-theoremProcyon-1.5B-Qwen2-Theoremqwen-7b-theorem-engine-v2qwen-7b-theorem-engine-v3theorem-v10-sdxlTheoremLlamaRickyDeSkywalker_-_TheoremLlama-ggufsovereign-entropy-theorem