入门

核心概念

题型

设计模式

参考

实战示例

实战示例

从几个问题到完整流水线,端到端地展示了 TypeSafe 在真实问题上的应用。

函数调用

通过把函数名和闭合取值集合的参数映射到带置信度的 TypeSafe 问题,把自然语言的交易请求转为对普通带类型函数的调用。

技能建议

每次智能体回合从 Nous Research 的 Hermes 目录中 182 个技能里至多选出一个技能,使用两次 TypeSafe 请求对排名靠前的候选进行排序和复检。

大语言模型的安全护栏

用一次 TypeSafe 请求对进出大语言模型(LLM)应用的每一条消息进行筛查,按各风险成立的概率(probability)和严重程度做阈值(threshold)判断,决定是放行、复核、拦截,还是路由。

二次核对引用

通过与源文档比对,找出错误或虚构的引用。一道 Choice(选择题)问题决定引文的上下文是否支撑该声明。

为 RAG 段落分类

用一次 TypeSafe 请求为每条检索到的段落打分,再用代码决定哪些段落最终进入生成答案的模型。

简单记忆系统

让 Jev 决定哪些请求和答案值得被记住,然后把 Jev 的调用包进一个小函数,在后续调用里加上这些记忆。

层次分类

通过基于 TypeSafe Choice(选择题)概率的并行束搜索,跨越专利、零售商品、生物医学和源代码等深层次结构对文档进行分类。

使用置信度进行分类

用一道 Choice(选择题)将 SEC 年报归入 75 个行业组,再根据答案自带的置信度,决定是报出该行业组,还是报出其上一级的更宽泛的行业门类(division)。

Twitch 聊天过滤器

在 Twitch 聊天中隐藏侮辱、垃圾信息和未经请求的游戏攻略,对剧透内容进行模糊处理,并把问题高亮显示。每条消息对应一个包含多个问题的 TypeSafe 请求,最多可并发处理八条消息,规则全部通过代码来定义。

SDE(结构化数据抽取)级联

用一个 2 阶段的结构化数据抽取级联(mini → verify → reasoning),以小成本获得接近大型推理模型的质量。

日期提取

从文档中提取绝对日期和相对日期:先用 TypeSafe 读取被点名的日期片段,再在代码里完成解析和校验,并按置信度触发复核。

预先解析的值抽取

用正则找出候选的电子邮箱、电话号码和金额,再让 TypeSafe 选出问题所问的那段文本,让代码能规范化一个原样的值。

结构恢复

用两次请求从丢失格式的纯文本中重建 Markdown:一次把硬换行的行重新拼回,一次给每个块分类(标题、列表、代码块、提示框)。

重排序

为 40 条 CLERC 法律查询各构建 30 篇文档的 BM25 候选短列表,再为每个「查询-候选」对使用一个 TypeSafe 问题(question),将 top-1 准确率从 5% 提升到 18%,top-10 准确率从 38% 提升到 62%。

逐行搜索

为 GitHub 服务条款构建语义搜索。在一次请求中,用 `Choice`(选择题)给 218 个行 ID 评分,再用 `Noul`(是非题)检查文档是否包含答案。

知识图谱实体对齐

用一个 Score 题型加上三个配套 Noul 题型,从两份啤酒目录的 450 对候选配对中判断哪些描述的是同一件产品,同时指出哪些字段存在分歧。

自一致性:Choice

为内容审核决策引入不确定结果(uncertain outcome),并比较标签一致性与自动处理占比。

自一致性:Noul

将不确定概率分流到人工复核,同时保留底层 noul 值的可见性。

并行提问

基于 Wikipedia 上的 GDPR 词条运行一个 13 问题的合规简报,结果显示把所有问题批量放进一次 TypeSafe 调用既便宜 12.2 倍又快 10.0 倍,且答案完全一致。

自动研究:特征发现

运行一个 autoresearch 循环,提出 TypeSafe 问题,把自由文本转换成数值特征,并利用模型误差来改进一个有监督的 CatBoost 回归器。