跳到主要內容

16GB ROCm 本地 LLM-as-a-Verifier 實測數據:Qwen3.5-9B 跑起來到底多快

TL;DR: 用 Qwen3.5-9B(Q4_K)在單張 16GB AMD GPU 上跑本地 LLM-as-a-Verifier,每次 code comparison 約 0.5–2 秒,cache hit rate 66%,正確程式碼穩定給 1.0 分,有 bug 的給 0.0–0.14 分。16GB 跑 9B 模型綽綽有餘,還有空間跑其他服務。 這篇是實測續篇,前兩篇分別講了 架構設計 和 Docker 封裝 。前兩篇講的是「做什麼」跟「怎麼做」,這篇來量「到底多快」。 1. 測試環境 在一台 homelab Linux(CachyOS)上跑的: 項目 內容 GPU AMD 16GB(15.9 GiB)via ROCm 模型 Qwen3.5-9B(8.95B 參數,Q4_K ~5.7GB GGUF) 後端 llama.cpp(llama-server,ROCm HIP build) Verifier Docker container(llm-verifier),port 8010 模型 VRAM ~10.2 GB(模型本身 + 動態 KV cache) GPU 使用率 78% 系統 RAM 62 GB;使用 27 GB(swap 用了 9.3 GB) Context window 131,072 tokens MIN_SCORE 0.8 後端跑在另一台機器上,走 local Gigabit 網路連線。 2. Verifier 在幹嘛 docker-llm-as-a-verifier 包裝了 LLM-as-a-Verifier 這個研究套件,讀取 token-level log probability 來算連續分數,不是簡單的 yes/no 判斷。 Container 開了 7 個 HTTP endpoint: Endpoint Method 用途 /health GET 健康檢查 /v1/compare POST 兩組答案比對評分 /v1/select POST Best-of-N 選最佳 /v1/track POST Agent 軌跡分數追蹤 /v1/directed POST 導...

螞蟻農場,來看螞蟻怎麼建造自己的家

the_ant_bully_wallpaper_28s_300x300我小時候想過這件事,是在看過小百科之後。別惹螞蟻 (the ant bully) 這部動畫電影的小男主角盧卡斯在經歷了被縮小跟螞蟻一起工作生活之後,會拿糖果出來餵,我是從一開始就拿出我最愛吃的可口奶滋在餵二樓陽台盆栽裡的螞蟻,其實也換過各種不同口味,像是蛋捲之類的,反應都十分熱烈。

那時候因為想要了解螞蟻,玩過模擬螞蟻 (SimAnt)。我也問過我媽,為什麼盆子不能是透明的啊?我媽沒辦法回答又趕忙去找了一套百科全書塞給我,免得我又問她。

另外,也為只要看到螞蟻就不舒服的人找到不用藥的解決方法,主要是設計成迷宮讓螞蟻聞得到吃不到,並且可以永久使用,所以你可以把想讓家人獨享的食物放在盤子上,想餵他們的食物擺到陽台上就算是和平共處啦!

詳細請參考網路賣場說明:

【波希米亞】環保專利防蟻侵食魔墊-2入

留言