Instructions to use eyad-silx/progress with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- llama.cpp
How to use eyad-silx/progress 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 eyad-silx/progress # Run inference directly in the terminal: llama cli -hf eyad-silx/progress
Install from WinGet (Windows)
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf eyad-silx/progress # Run inference directly in the terminal: llama cli -hf eyad-silx/progress
Build from source code
git clone https://github.com/ggml-org/llama.cpp.git cd llama.cpp cmake -B build cmake --build build -j --target llama-app # Start a local OpenAI-compatible server with a web UI: ./build/bin/llama serve -hf eyad-silx/progress # Run inference directly in the terminal: ./build/bin/llama cli -hf eyad-silx/progress
Use Docker
docker model run hf.co/eyad-silx/progress
- Llama new
- LM Studio
- Jan
- Ollama
How to use eyad-silx/progress with Ollama:
ollama run hf.co/eyad-silx/progress
- Unsloth Desktop
- Pi
How to use eyad-silx/progress with Pi:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf eyad-silx/progress
Configure the model in Pi
# Install Pi: npm install -g @earendil-works/pi-coding-agent # Add to ~/.pi/agent/models.json: { "providers": { "llama-cpp": { "baseUrl": "http://localhost:8080/v1", "api": "openai-completions", "apiKey": "none", "models": [ { "id": "eyad-silx/progress" } ] } } }Run Pi
# Start Pi in your project directory: pi
- Docker Model Runner
How to use eyad-silx/progress with Docker Model Runner:
docker model run hf.co/eyad-silx/progress
- Lemonade
How to use eyad-silx/progress with Lemonade:
Pull the model
# Download Lemonade from https://lemonade-server.ai/ lemonade pull eyad-silx/progress
Run and chat with the model
lemonade run user.progress-{{QUANT_TAG}}List all available models
lemonade list
- Hermes Agent
How to use eyad-silx/progress with Hermes Agent:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf eyad-silx/progress
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 eyad-silx/progress
Run Hermes
hermes
- Atomic Chat
- OpenClaw
How to use eyad-silx/progress with OpenClaw:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf eyad-silx/progress
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 "eyad-silx/progress" \ --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"
push artifacts/logs/measure.log
Browse files- artifacts/logs/measure.log +34 -34
artifacts/logs/measure.log
CHANGED
|
@@ -1,23 +1,23 @@
|
|
| 1 |
-
2026-10-26
|
| 2 |
-
2026-10-26
|
| 3 |
teacher 1/16: affine/train/math_prealgebra-4363603/en p73 a130
|
| 4 |
teacher 2/16: affine/train/math_algebra-7595820/en p86 a378
|
| 5 |
teacher 3/16: affine/train/math_geometry-2333548/en p110 a242
|
| 6 |
-
teacher 4/16: affine/train/math_algebra-15977093/en p95
|
| 7 |
teacher 5/16: affine/train/math_prealgebra-6982828/en p87 a199
|
| 8 |
teacher 6/16: affine/train/math_algebra-15278704/en p90 a266
|
| 9 |
teacher 7/16: affine/train/math_number_theory-5402571/en p85 a278
|
| 10 |
-
teacher 8/16: affine/train/math_algebra-10810849/en p118
|
| 11 |
-
teacher 9/16: affine/train/math_geometry-3090335/en p93
|
| 12 |
-
teacher 10/16: affine/train/math_intermediate_algebra-5570402/en p71
|
| 13 |
-
teacher 11/16: affine/train/math_intermediate_algebra-8535128/en p99
|
| 14 |
-
teacher 12/16: affine/train/math_intermediate_algebra-11925264/en p94
|
| 15 |
teacher 13/16: affine/train/math_algebra-7745671/en p96 a435
|
| 16 |
-
teacher 14/16: affine/train/math_precalculus-2471323/en p86
|
| 17 |
-
teacher 15/16: affine/train/math_prealgebra-7667387/en p86
|
| 18 |
-
teacher 16/16: affine/train/math_precalculus-9027392/en p158
|
| 19 |
-
2026-10-26
|
| 20 |
-
2026-10-26
|
| 21 |
king 1/16: affine/train/math_prealgebra-4363603/en
|
| 22 |
king 2/16: affine/train/math_algebra-7595820/en
|
| 23 |
king 3/16: affine/train/math_geometry-2333548/en
|
|
@@ -34,8 +34,8 @@ king 13/16: affine/train/math_algebra-7745671/en
|
|
| 34 |
king 14/16: affine/train/math_precalculus-2471323/en
|
| 35 |
king 15/16: affine/train/math_prealgebra-7667387/en
|
| 36 |
king 16/16: affine/train/math_precalculus-9027392/en
|
| 37 |
-
2026-10-26
|
| 38 |
-
2026-10-26
|
| 39 |
challenger 1/16: affine/train/math_prealgebra-4363603/en
|
| 40 |
challenger 2/16: affine/train/math_algebra-7595820/en
|
| 41 |
challenger 3/16: affine/train/math_geometry-2333548/en
|
|
@@ -52,23 +52,23 @@ challenger 13/16: affine/train/math_algebra-7745671/en
|
|
| 52 |
challenger 14/16: affine/train/math_precalculus-2471323/en
|
| 53 |
challenger 15/16: affine/train/math_prealgebra-7667387/en
|
| 54 |
challenger 16/16: affine/train/math_precalculus-9027392/en
|
| 55 |
-
scored affine/train/math_prealgebra-4363603/en: king KL 0.
|
| 56 |
-
scored affine/train/math_algebra-7595820/en: king KL 0.0239 challenger KL 0.
|
| 57 |
-
scored affine/train/math_geometry-2333548/en: king KL 0.
|
| 58 |
-
scored affine/train/math_algebra-15977093/en: king KL 0.
|
| 59 |
-
scored affine/train/math_prealgebra-6982828/en: king KL 0.
|
| 60 |
-
scored affine/train/math_algebra-15278704/en: king KL 0.
|
| 61 |
-
scored affine/train/math_number_theory-5402571/en: king KL 0.
|
| 62 |
-
scored affine/train/math_algebra-10810849/en: king KL 0.
|
| 63 |
-
scored affine/train/math_geometry-3090335/en: king KL 0.
|
| 64 |
-
scored affine/train/math_intermediate_algebra-5570402/en: king KL 0.
|
| 65 |
-
scored affine/train/math_intermediate_algebra-8535128/en: king KL 0.
|
| 66 |
-
scored affine/train/math_intermediate_algebra-11925264/en: king KL 0.
|
| 67 |
-
scored affine/train/math_algebra-7745671/en: king KL 0.
|
| 68 |
-
scored affine/train/math_precalculus-2471323/en: king KL 0.
|
| 69 |
-
scored affine/train/math_prealgebra-7667387/en: king KL 0.
|
| 70 |
-
scored affine/train/math_precalculus-9027392/en: king KL 0.
|
| 71 |
teacher KL 0.000000 distance 0.00000
|
| 72 |
-
king KL 0.
|
| 73 |
-
challenger KL 0.
|
| 74 |
-
margin needed: KL 0.
|
|
|
|
| 1 |
+
2026-10-26 09:54:57.449 | INFO | eval_service.servers:serve:505 - starting the teacher on GPUs (0,): /root/models/teacher
|
| 2 |
+
2026-10-26 09:55:57.630 | INFO | eval_service.servers:serve:514 - the teacher is ready, 60s into serve
|
| 3 |
teacher 1/16: affine/train/math_prealgebra-4363603/en p73 a130
|
| 4 |
teacher 2/16: affine/train/math_algebra-7595820/en p86 a378
|
| 5 |
teacher 3/16: affine/train/math_geometry-2333548/en p110 a242
|
| 6 |
+
teacher 4/16: affine/train/math_algebra-15977093/en p95 a253
|
| 7 |
teacher 5/16: affine/train/math_prealgebra-6982828/en p87 a199
|
| 8 |
teacher 6/16: affine/train/math_algebra-15278704/en p90 a266
|
| 9 |
teacher 7/16: affine/train/math_number_theory-5402571/en p85 a278
|
| 10 |
+
teacher 8/16: affine/train/math_algebra-10810849/en p118 a508
|
| 11 |
+
teacher 9/16: affine/train/math_geometry-3090335/en p93 a785
|
| 12 |
+
teacher 10/16: affine/train/math_intermediate_algebra-5570402/en p71 a536
|
| 13 |
+
teacher 11/16: affine/train/math_intermediate_algebra-8535128/en p99 a377
|
| 14 |
+
teacher 12/16: affine/train/math_intermediate_algebra-11925264/en p94 a456
|
| 15 |
teacher 13/16: affine/train/math_algebra-7745671/en p96 a435
|
| 16 |
+
teacher 14/16: affine/train/math_precalculus-2471323/en p86 a691
|
| 17 |
+
teacher 15/16: affine/train/math_prealgebra-7667387/en p86 a1209
|
| 18 |
+
teacher 16/16: affine/train/math_precalculus-9027392/en p158 a1382
|
| 19 |
+
2026-10-26 09:56:45.487 | INFO | eval_service.servers:serve:505 - starting the king on GPUs (0,): /root/models/king-xii
|
| 20 |
+
2026-10-26 09:56:47.931 | INFO | eval_service.servers:serve:514 - the king is ready, 2s into serve
|
| 21 |
king 1/16: affine/train/math_prealgebra-4363603/en
|
| 22 |
king 2/16: affine/train/math_algebra-7595820/en
|
| 23 |
king 3/16: affine/train/math_geometry-2333548/en
|
|
|
|
| 34 |
king 14/16: affine/train/math_precalculus-2471323/en
|
| 35 |
king 15/16: affine/train/math_prealgebra-7667387/en
|
| 36 |
king 16/16: affine/train/math_precalculus-9027392/en
|
| 37 |
+
2026-10-26 09:56:56.583 | INFO | eval_service.servers:serve:505 - starting the challenger on GPUs (0,): /root/models/chal-norms
|
| 38 |
+
2026-10-26 09:56:58.359 | INFO | eval_service.servers:serve:514 - the challenger is ready, 2s into serve
|
| 39 |
challenger 1/16: affine/train/math_prealgebra-4363603/en
|
| 40 |
challenger 2/16: affine/train/math_algebra-7595820/en
|
| 41 |
challenger 3/16: affine/train/math_geometry-2333548/en
|
|
|
|
| 52 |
challenger 14/16: affine/train/math_precalculus-2471323/en
|
| 53 |
challenger 15/16: affine/train/math_prealgebra-7667387/en
|
| 54 |
challenger 16/16: affine/train/math_precalculus-9027392/en
|
| 55 |
+
scored affine/train/math_prealgebra-4363603/en: king KL 0.0088 challenger KL 0.0626
|
| 56 |
+
scored affine/train/math_algebra-7595820/en: king KL 0.0239 challenger KL 0.0727
|
| 57 |
+
scored affine/train/math_geometry-2333548/en: king KL 0.0159 challenger KL 0.0642
|
| 58 |
+
scored affine/train/math_algebra-15977093/en: king KL 0.0126 challenger KL 0.0854
|
| 59 |
+
scored affine/train/math_prealgebra-6982828/en: king KL 0.0253 challenger KL 0.0667
|
| 60 |
+
scored affine/train/math_algebra-15278704/en: king KL 0.0130 challenger KL 0.0555
|
| 61 |
+
scored affine/train/math_number_theory-5402571/en: king KL 0.0286 challenger KL 0.1200
|
| 62 |
+
scored affine/train/math_algebra-10810849/en: king KL 0.0421 challenger KL 0.1682
|
| 63 |
+
scored affine/train/math_geometry-3090335/en: king KL 0.0232 challenger KL 0.0757
|
| 64 |
+
scored affine/train/math_intermediate_algebra-5570402/en: king KL 0.0298 challenger KL 0.0979
|
| 65 |
+
scored affine/train/math_intermediate_algebra-8535128/en: king KL 0.0213 challenger KL 0.0584
|
| 66 |
+
scored affine/train/math_intermediate_algebra-11925264/en: king KL 0.0326 challenger KL 0.0895
|
| 67 |
+
scored affine/train/math_algebra-7745671/en: king KL 0.0203 challenger KL 0.0663
|
| 68 |
+
scored affine/train/math_precalculus-2471323/en: king KL 0.0104 challenger KL 0.0491
|
| 69 |
+
scored affine/train/math_prealgebra-7667387/en: king KL 0.0180 challenger KL 0.0764
|
| 70 |
+
scored affine/train/math_precalculus-9027392/en: king KL 0.0295 challenger KL 0.0901
|
| 71 |
teacher KL 0.000000 distance 0.00000
|
| 72 |
+
king KL 0.023454 distance 0.28739
|
| 73 |
+
challenger KL 0.082946 distance 0.28774
|
| 74 |
+
margin needed: KL 0.000352 dist 0.002414 ; challenger leads by KL -0.059493 (-253.659%) dist -0.000354 (-0.123%)
|