概率编程课程新章：把带校准不确定性的 System-1 模型嵌入 PPL
xuanalogue · x · 2026-09-28
- 作者 zengola 在其概率编程课程（CS4973/6984）新增「Language models」一章，探讨把大语言模型作为概率来源嵌入概率编程语言（PPL）会带来什么。
- 核心对象是新近出现的「System-1 模型」：以 Jev 为首，后续开源了 kev、SemIf（曾戏称 OpenJev）。这类模型不做自由文本生成，而是对问题输出带校准不确定性的答案。
- 接口形式：给定状态描述（如「外面下雨」）、问题（如「该带伞吗」）与候选答案列表，模型返回各答案为真的概率——这与概率编程中的随机选择天然兼容。
- 作者附了一个 Roulette 语言调用 Jev 的示例文件（需自备 API key），并表示希望尽快支持调用开源模型。
「模型」频道最新
- Anthropic Opus 新模型发布数天,已有 10 个玩法案例 — FinanceYF5 · 2026-09-28
- 博主实测:Opus 5.5 用量比 Codex 上的 Astra 划算得多 — RexDouglass · 2026-09-28
- 游戏手感成 LLM 短板：开发者自建 gamefeel 私有基准测模型 — teortaxesTex · 2026-09-28
- 用 LLM logprobs 做概率编程:微调破坏校准,新模型或使其再可用 — xuanalogue · 2026-09-28
- 博主放话：各大美系实验室 2027 年内将造出 AGI 并迈向 ASI — Dr_Singularity · 2026-09-28
- Gemini 3 Flash 三个被低估用法：浏览器操作与极速图生 — BuffaloConscious7919 · 2026-09-28