mirror/LocalAI
1
0
Fork 0
mirror of https://github.com/mudler/LocalAI.git synced 2025-12-30 14:10:24 -06:00
Code Issues Packages Projects Releases Wiki Activity

chore(model gallery): 🤖 add new models via gallery agent (#6515)

Browse Source 
Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: mudler <2420543+mudler@users.noreply.github.com>
This commit is contained in:
LocalAI [bot]
2025-10-17 18:15:44 +02:00
committed by GitHub
parent c54f5cdf12
commit 4ade65f959
1 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
gallery/index.yaml
View File

@@ -21960,3 +21960,34 @@
- filename: Strand-Rust-Coder-14B-v1.i1-Q4_K_M.gguf
sha256: 56bacda1fd25cdebd349df839c3ef3248a3e7cb98da6ce1ee1f4e8c2153e777e
uri: huggingface://mradermacher/Strand-Rust-Coder-14B-v1-i1-GGUF/Strand-Rust-Coder-14B-v1.i1-Q4_K_M.gguf
- !!merge <<: *phi4
name: "scholasticlogicai-phi-4-i1"
urls:
- https://huggingface.co/mradermacher/ScholasticLogicAI-Phi-4-i1-GGUF
description: |
**Model Name:** ScholasticLogicAI-Phi-4
**Base Model:** Microsoft Phi-4
**Repository:** [Berthi-Rohar/ScholasticLogicAI-Phi-4](https://huggingface.co/Berthi-Rohar/ScholasticLogicAI-Phi-4)
**Description:**
A fine-tuned variant of Microsoft's Phi-4, specialized in logical reasoning using Aristotelian and scholastic logic frameworks. This model is designed to perform structured, deductive reasoning tasks, making it ideal for philosophical, analytical, and formal logic applications. It is part of an experimental project aimed at exploring the integration of classical logic paradigms into modern language models.
**Use Case:**
Best suited for tasks involving syllogistic reasoning, argument analysis, formal deduction, and logical consistency checks. Not intended for general conversation or casual use.
**Key Features:**
- Built on the Phi-4 architecture for high efficiency and performance.
- Fine-tuned for logical coherence and structured reasoning.
- Supports chat template input for interactive reasoning sessions.
**Note:** This model is experimental and may hallucinate or fail under complex or ambiguous prompts. Ideal for developers and researchers in logic, AI reasoning, and knowledge representation.
**License:** [MIT](https://github.com/Berthi-Rohar/ScholasticLogicAI-Phi-4/blob/main/LICENSE) (check original Phi-4 for base license).
*Quantized versions available via [mradermacher/ScholasticLogicAI-Phi-4-i1-GGUF](https://huggingface.co/mradermacher/ScholasticLogicAI-Phi-4-i1-GGUF) for local inference.*
overrides:
parameters:
model: ScholasticLogicAI-Phi-4.i1-Q4_K_M.gguf
files:
- filename: ScholasticLogicAI-Phi-4.i1-Q4_K_M.gguf
sha256: 6b1bb32b74979833b17cfe1b47c3bdd9f9b60ba283c486767e612ff33a073d9f
uri: huggingface://mradermacher/ScholasticLogicAI-Phi-4-i1-GGUF/ScholasticLogicAI-Phi-4.i1-Q4_K_M.gguf