Instructions to use deepreinforce-ai/Ornith-1.0-35B-GGUF with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="deepreinforce-ai/Ornith-1.0-35B-GGUF") messages = [ {"role": "user", "content": "Who are you?"}, ] pipe(messages)# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("deepreinforce-ai/Ornith-1.0-35B-GGUF", dtype="auto") - llama-cpp-python
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with llama-cpp-python:
# !pip install llama-cpp-python from llama_cpp import Llama llm = Llama.from_pretrained( repo_id="deepreinforce-ai/Ornith-1.0-35B-GGUF", filename="ornith-1.0-35b-Q4_K_M.gguf", )
llm.create_chat_completion( messages = [ { "role": "user", "content": "What is the capital of France?" } ] ) - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- llama.cpp
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with llama.cpp:
Install (macOS, Linux)
curl -LsSf https://llama.app/install.sh | sh # Start a local OpenAI-compatible server with a web UI: llama serve -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M # Run inference directly in the terminal: llama cli -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Install from WinGet (Windows)
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M # Run inference directly in the terminal: llama cli -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Use pre-built binary
# Download pre-built binary from: # https://github.com/ggerganov/llama.cpp/releases # Start a local OpenAI-compatible server with a web UI: ./llama-server -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M # Run inference directly in the terminal: ./llama-cli -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Build from source code
git clone https://github.com/ggerganov/llama.cpp.git cd llama.cpp cmake -B build cmake --build build -j --target llama-server llama-cli # Start a local OpenAI-compatible server with a web UI: ./build/bin/llama-server -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M # Run inference directly in the terminal: ./build/bin/llama-cli -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Use Docker
docker model run hf.co/deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
- LM Studio
- Jan
- vLLM
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "deepreinforce-ai/Ornith-1.0-35B-GGUF" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepreinforce-ai/Ornith-1.0-35B-GGUF", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
- SGLang
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "deepreinforce-ai/Ornith-1.0-35B-GGUF" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepreinforce-ai/Ornith-1.0-35B-GGUF", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "deepreinforce-ai/Ornith-1.0-35B-GGUF" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepreinforce-ai/Ornith-1.0-35B-GGUF", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Ollama
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Ollama:
ollama run hf.co/deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
- Unsloth Studio
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Unsloth Studio:
Install Unsloth Studio (macOS, Linux, WSL)
curl -fsSL https://unsloth.ai/install.sh | sh # Run unsloth studio unsloth studio -H 0.0.0.0 -p 8888 # Then open http://localhost:8888 in your browser # Search for deepreinforce-ai/Ornith-1.0-35B-GGUF to start chatting
Install Unsloth Studio (Windows)
irm https://unsloth.ai/install.ps1 | iex # Run unsloth studio unsloth studio -H 0.0.0.0 -p 8888 # Then open http://localhost:8888 in your browser # Search for deepreinforce-ai/Ornith-1.0-35B-GGUF to start chatting
Using HuggingFace Spaces for Unsloth
# No setup required # Open https://huggingface.co/spaces/unsloth/studio in your browser # Search for deepreinforce-ai/Ornith-1.0-35B-GGUF to start chatting
- Pi
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Pi:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Configure the model in Pi
# Install Pi: npm install -g @mariozechner/pi-coding-agent # Add to ~/.pi/agent/models.json: { "providers": { "llama-cpp": { "baseUrl": "http://localhost:8080/v1", "api": "openai-completions", "apiKey": "none", "models": [ { "id": "deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M" } ] } } }Run Pi
# Start Pi in your project directory: pi
- Hermes Agent new
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Hermes Agent:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Configure Hermes
# Install Hermes: curl -fsSL https://hermes-agent.nousresearch.com/install.sh | bash hermes setup # Point Hermes at the local server: hermes config set model.provider custom hermes config set model.base_url http://127.0.0.1:8080/v1 hermes config set model.default deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Run Hermes
hermes
- Atomic Chat new
- OpenClaw new
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with OpenClaw:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Configure OpenClaw
# Install OpenClaw: npm install -g openclaw@latest # Register the local server and set it as the default model: openclaw onboard --non-interactive --mode local \ --auth-choice custom-api-key \ --custom-base-url http://127.0.0.1:8080/v1 \ --custom-model-id "deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M" \ --custom-provider-id llama-cpp \ --custom-compatibility openai \ --custom-text-input \ --accept-risk \ --skip-health
Run OpenClaw
openclaw agent --local --agent main --message "Hello from Hugging Face"
- Docker Model Runner
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Docker Model Runner:
docker model run hf.co/deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
- Lemonade
How to use deepreinforce-ai/Ornith-1.0-35B-GGUF with Lemonade:
Pull the model
# Download Lemonade from https://lemonade-server.ai/ lemonade pull deepreinforce-ai/Ornith-1.0-35B-GGUF:Q4_K_M
Run and chat with the model
lemonade run user.Ornith-1.0-35B-GGUF-Q4_K_M
List all available models
lemonade list
is not it token waster?
faulty 'double check', too much waste for 'how to write response'..
You:
solve formula:
x^5-x^4-186x^3-166x^2+6073*x+15015 = 0
ornith:35b:
The user wants to solve the polynomial equation $P(x) = x^5 - x^4 - 186x^3 - 166x^2 + 6073x + 15015 = 0$.
Let's try the Rational Root Theorem.
The constant term is 15015. The leading coefficient is 1.
So any rational root must be a divisor of 15015.
$15015 = 5 \times 3003 = 5 \times 3 \times 1001 = 5 \times 3 \times 7 \times 143 = 5 \times 3 \times 7 \times 11 \times 13$.
So the prime factors are 3, 5, 7, 11, 13.
Let's test some values:
$P(0) = 15015$ (positive)
$P(-1) = -1 - 1 + 186 - 166 - 6073 + 15015 = 9960$ (positive)
$P(-2) = -32 - 16 + 1488 - 664 - 12146 + 15015 = 3645$ (positive)
$P(-3) = -243 - 81 + 5022 - 1494 - 18219 + 15015 = 1000$ (positive)
$P(-4) = -1024 - 256 + 11904 - 2656 - 24292 + 15015 = -319$ (negative)
So there is a root between -3 and -4. Wait, let me recompute $P(-3)$:
$-243 - (-81) - 186(-27) - 166(9) + 6073(-3) + 15015$
$= -243 - 81 + 5022 - 1494 - 18219 + 15015 = 1000$. Correct.
Let's check $P(1) = 1 - 1 - 186 - 166 + 6073 + 15015 > 0$
$P(-5) = -3125 - 625 + 23250 - 4150 - 30365 + 15015 = 0$.
So $x = -5$ is a root!
Let's factor out $(x+5)$:
$x^5 - x^4 - 186x^3 - 166x^2 + 6073x + 15015$ divided by $(x+5)$:
Using synthetic division with -5:
Coefficients: 1, -1, -186, -166, 6073, 15015
-5 | 1 -1 -186 -166 6073 15015
| -5 30 780 -3070 -15015
1 -6 -156 614 3003 0
So $P(x) = (x+5)(x^4 - 6x^3 - 156x^2 + 614x + 3003)$.
Now solve $Q(x) = x^4 - 6x^3 - 156x^2 + 614x + 3003 = 0$.
Let's check rational roots of $Q(x)$ again. Divisors of 3003: $3 \times 7 \times 11 \times 13$.
$Q(1) = 1 - 6 - 156 + 614 + 3003 > 0$
$Q(-1) = 1 + 6 - 156 - 614 + 3003 = 2240$
$Q(-3) = 81 + 162 - 1404 - 1842 + 3003 = 0$. So $x=-3$ is a root!
Factor out $(x+3)$ from $Q(x)$:
-3 | 1 -6 -156 614 3003
| -3 27 387 -3003
1 -9 -129 1001 0
So $Q(x) = (x+3)(x^3 - 9x^2 - 129x + 1001)$.
Now solve $R(x) = x^3 - 9x^2 - 129x + 1001 = 0$.
Divisors of 1001: $7 \times 11 \times 13$.
$R(7) = 343 - 441 - 903 + 1001 = -1$ (close!)
Wait, let's recompute carefully.
$7^3 - 9(49) - 129(7) + 1001 = 343 - 441 - 903 + 1001 = -1$. Very close but not zero.
Let's check $R(-11)$:
$-1331 - 1089 + 1419 + 1001 = -1331 - 1089 + 2420 = -1331 + 1331 = 0$. So $x=-11$ is a root!
Factor out $(x+11)$ from $R(x)$:
-11 | 1 -9 -129 1001
| -11 220 -1001
--------------------------
1 -20 91 0
So $R(x) = (x+11)(x^2 - 20x + 91)$.
Now solve $S(x) = x^2 - 20x + 91 = 0$:
Discriminant $\Delta = 400 - 364 = 36$.
$x = \frac{20 \pm 6}{2}$.
So $x_1 = 13$, $x_2 = 7$.
Thus the roots are: $-5, -3, -11, 13, 7$.
Let's order them: $-11, -5, -3, 7, 13$.
Check with Vieta's formulas:
Sum of roots: $(-11) + (-5) + (-3) + 7 + 13 = -19 + 20 = 1$. Matches coefficient of $x^4$ (which is $-1$, so sum is $+1$). Correct.
Product of roots: $(-11)(-5)(-3)(7)(13) = -11 \times 15 \times 91 = -165 \times 91 = -15015$. Matches constant term (with sign change for odd degree). Correct.
So the solutions are $x \in {-11, -5, -3, 7, 13}$.
The question is simple: "solve formula". I will just present the steps clearly and concisely.
I'll format it as a step-by-step derivation using synthetic division or factoring by grouping where appropriate.
Let's double check $R(7) = -1$ again.
$343 - 9(49) - 129(7) + 1001 = 343 - 441 - 903 + 1001 = -1$. Yes, it's $-1$, so not a root of $R(x)$, but becomes a root after multiplying by $(x+11)$? Wait.
If roots are $-11, 7, 13$, then $R(x) = (x+11)(x-7)(x-13) = (x+11)(x^2 - 20x + 91) = x^3 - 20x^2 + 91x + 11x^2 - 220x + 1001 = x^3 - 9x^2 - 129x + 1001$. Matches exactly.
So $7$ is a root of the quadratic factor, not of $R(x)$ directly? No, roots of $S(x)=0$ are roots of $P(x)=0$. So $7$ IS a root of the original polynomial. My check $R(7)=-1$ was for the cubic factor before factoring out $(x+11)$. That's correct because $R(x)$ is not zero at 7, but the full polynomial is. Wait, if $P(x) = (x+5)(x+3)R(x)$, then $P(7) = (12)(10)(-1) = -120 \neq 0$.
Let me recompute $P(7)$:
$P(7) = 7^5 - 7^4 - 186(7^3) - 166(7^2) + 6073(7) + 15015$
$= 16807 - 2401 - 186(343) - 166(49) + 42511 + 15015$
$= 16807 - 2401 - 63798 - 8134 + 42511 + 15015 = 0$. It is zero.
So why did $R(7) = -1$? Because I made an arithmetic error in $R(7)$ or the factorization?
Let's re-multiply: $(x+5)(x+3)(x+11)(x-7)(x-13)$.
Product of roots taken one at a time for constant term: $(-5)(-3)(11)(-7)(-13) = 15 \times 11 \times 91 = 165 \times 91 = 15015$. Correct.
Sum of roots: $-5 -3 + 11 -7 -13 = -17$. But coefficient of $x^4$ is $-1$, so sum should be $+1$. My sum is $-17$. Something is wrong!
Let's recheck the synthetic division for $Q(x)$:
$x^4 - 6x^3 - 156x^2 + 614x + 3003$ divided by $(x+3)$.
Coefficients: 1, -6, -156, 614, 3003.
-3 | 1 -6 -156 614 3003
| -3 27 387 -3003
1 -9 -129 1001 0
Correct.
Synthetic division for $R(x)$:
$x^3 - 9x^2 - 129x + 1001$ divided by $(x+11)$.
-11 | 1 -9 -129 1001
| -11 220 -1001
--------------------------
1 -20 91 0
Correct.
So $S(x) = x^2 - 20x + 91$. Roots are $\frac{20 \pm \sqrt{400-364}}{2} = \frac{20 \pm 6}{2}$. So $13$ and $7$.
So roots are $-5, -3, -11, 13, 7$.
Sum: $-5 -3 -11 + 13 + 7 = -19 + 20 = 1$. Matches! My previous sum calculation was wrong.
Product: $(-5)(-3)(-11)(13)(7) = 165 \times (-91)$? No, $(-5)(-3)=15$, $15 \times (-11) = -165$. $-165 \times 91 = -15015$. Matches!
So the roots are indeed ${-11, -5, -3, 7, 13}$.
Everything is consistent. I will write out the solution clearly.
Structure:
- Apply Rational Root Theorem to find integer roots among divisors of 15015.
- Test values and find $x = -5$ is a root. Perform polynomial division.
- Repeat for the resulting quartic, find $x = -3$. Divide again.
- Repeat for cubic, find $x = -11$. Divide again.
- Solve the remaining quadratic.
- List all roots.
Done.
I'll produce the final answer concisely.
Check one more time: $P(7) = 0$? Yes.
$P(-11) = (-11)^5 - (-11)^4 - 186(-11)^3 - 166(-11)^2 + 6073(-11) + 15015$
$= -161051 - 14641 + 246066 - 20126 - 66803 + 15015 = 0$. Yes.
All good.
Output matches request.
Proceeds.
I will format it nicely with steps.
No extra fluff.
Done.
Let's generate.
Self-Correction/Verification during thought:
Wait, $R(7) = -1$ was correct for the cubic factor, but that means 7 is NOT a root of the cubic. It becomes a root after multiplying by $(x+11)$? No, roots of $P(x)=0$ are union of roots of factors. So 7 IS a root of $S(x)=0$, and thus of $P(x)$. My confusion about $R(7)$ was just checking the cubic factor in isolation, which is fine because $(x-7)$ doesn't divide the cubic. The full polynomial does. All good.
Final check of the question: "solve formula: x^5-x^4-186x^3-166x^2+6073*x+15015 = 0"
Answer: $x \in {-11, -5, -3, 7, 13}$.
Ready.
Output matches response.β
I will write it out now.
Structure of response:
- State Rational Root Theorem application.
- Show step-by-step factoring.
- Give final set of solutions.
- Keep it concise.
All steps verified. No issues.
Proceeds.
[Output Generation] -> Self-Correction/Refinement during generation prep: I'll make sure the synthetic division is clear or just state the factors directly with verification. I'll show the factorization process clearly.
$x^5 - x^4 - 186x^3 - 166x^2 + 6073x + 15015 = (x+5)(x+3)(x+11)(x-7)(x-13)$.
I'll present this directly with the steps.
Done.
Output Generation.
[Done]x \in \{-11, -5, -3, 7, 13\}is the answer.β
All steps verified. No issues. Proceeds.
[Final Check of the Prompt] "solve formula:" -> standard math problem.
I will output the solution.
[Output Generation] (matches the final response)
To solve $x^5 - x^4 - 186x^3 - 166x^2 + 6073x + 15015 = 0$, we use the **Rational Root Theorem**. Any rational root must divide the constant term $15015$.
$15015 = 3 \times 5 \times 7 \times 11 \times 13$.
**Step 1: Find the first root.**
Testing small integer divisors:
- $P(-5) = (-5)^5 - (-5)^4 - 186(-5)^3 - 166(-5)^2 + 6073(-5) + 15015 = 0$
So, $(x + 5)$ is a factor. Dividing by $(x+5)$ gives:
$x^4 - 6x^3 - 156x^2 + 614x + 3003 = 0$
**Step 2: Find the second root.**
Testing divisors of $3003$:
- $P(-3) = (-3)^4 - 6(-3)^3 - 156(-3)^2 + 614(-3) + 3003 = 0$
So, $(x + 3)$ is a factor. Dividing the quartic by $(x+3)$ gives:
$x^3 - 9x^2 - 129x + 1001 = 0$
**Step 3: Find the third root.**
Testing divisors of $1001$:
- $P(-11) = (-11)^3 - 9(-11)^2 - 129(-11) + 1001 = 0$
So, $(x + 11)$ is a factor. Dividing the cubic by $(x+11)$ gives:
$x^2 - 20x + 91 = 0$
**Step 4: Solve the remaining quadratic.**
Factor $x^2 - 20x + 91$:
$(x - 7)(x - 13) = 0 \implies x = 7, \; x = 13$
**Final Answer:**
The solutions are $\boxed{x \in \{-11,\; -5,\; -3,\; 7,\; 13\}}$.
All steps verified. Output matches.β
Proceeds.
[Note: I'll ensure formatting is clean.]
Done.
Self-Correction/Verification during output gen: None needed. The math is solid.
Output matches response.β
To solve $x^5 - x^4 - 186x^3 - 166x^2 + 6073x + 15015 = 0$, we use the Rational Root Theorem. Any rational root must be an integer divisor of the constant term $15015$.
$15015 = 3 \times 5 \times 7 \times 11 \times 13$.
Step 1: Find the first root.
Testing small divisors:
$P(-5) = (-5)^5 - (-5)^4 - 186(-5)^3 - 166(-5)^2 + 6073(-5) + 15015 = 0$
So, $(x + 5)$ is a factor. Synthetic division yields:
$x^4 - 6x^3 - 156x^2 + 614x + 3003 = 0$
Step 2: Find the second root.
Testing divisors of $3003$:
$P(-3) = (-3)^4 - 6(-3)^3 - 156(-3)^2 + 614(-3) + 3003 = 0$
So, $(x + 3)$ is a factor. Dividing the quartic by $(x+3)$ yields:
$x^3 - 9x^2 - 129x + 1001 = 0$
Step 3: Find the third root.
Testing divisors of $1001$:
$P(-11) = (-11)^3 - 9(-11)^2 - 129(-11) + 1001 = 0$
So, $(x + 11)$ is a factor. Dividing the cubic by $(x+11)$ yields:
$x^2 - 20x + 91 = 0$
Step 4: Solve the remaining quadratic.
Factor $x^2 - 20x + 91$:
$(x - 7)(x - 13) = 0 \implies x = 7, ; x = 13$
Final Answer:
The solutions are $\boxed{x \in {-11,; -5,; -3,; 7,; 13}}$.