示例用例
按行業瀏覽 TypeSafe 用例,把有前景的想法變成軟體工作流。
用這張地圖來找靈感:TypeSafe 能用在你的行業裡的什麼地方。開啟最接近的行業,掃一遍示例決策,再改造成你自己工作流裡的文件和操作。
示例用例分類
AI 自動化軟體
把 AI 與可靠的軟體交織起來,讓你能在後臺跑上百萬次,而不需要人工副駕。控制流歸程式碼掌控(而不是 markdown 檔案),語義決策和語言理解交給 TypeSafe。
即時應用
即時速度(150ms)的前沿智慧,意味著 AI 做決策比人的感知還快。快到、聰明到可以被程式設計去玩遊戲,或嵌進 UI 裡。
面向大數據的 AI Map Reduce
成本低 100 倍,意味著你能處理超大規模資料集。在海量語料上檢索相關資訊、給海量智慧體軌跡分類、抽取特徵做預測。
通用校驗
校驗任何其它 AI 的輸入提示詞、抽取結果、推理軌跡、工具呼叫或輸入。檢測越獄、引用錯誤、幻覺、錯誤,以及其它 AI 或 LLM 會犯的錯誤模式 —— 成本只是實際 LLM 呼叫的一小部分。
Harness 工程
用 Jev 查詢讓你的 harness 更聰明 —— 模型路由、語義上下文檢索、LLM 錯誤檢測與防護欄、推理軌跡分類,快如光速,成本只是一小部分。
示例自動化用例
搜尋與檢索
- 用語義搜尋、評分和排序,替換或補充 RAG 流水線裡的嵌入。
- 為「查詢到候選」的相關性打分。
- 用兩兩比較對結果做重排序。
- 對查詢和候選做交叉編碼,提高精度。
- 為下游 AI 工作流挑選有用的上下文。
科學發現
- 按納入和排除標準篩選論文,做系統性綜述。
- 用預定義的主題或分類,給訪談記錄、開放式問卷回答和田野筆記裡的段落打標籤。
- 檢查引用的段落是否支撐手稿和生成摘要裡的論斷。
- 標出缺失的方法學細節,比如對照組、資料集描述和實驗設定。
- 跨論文識別實體和關係,構建研究知識圖譜,把發現連結到支撐它的段落。
模型路由
- 用 Jev 構建自定義路由,決定每條提示詞交給哪個 LLM。
- 為你的具體工作流設定路由規則和閾值。
- 對意圖和領域做分類。
- 估計難度和風險。
- 把需要更貴模型的請求升級出去。
LLM 防護欄
- 對每一次 LLM 輸入、輸出和工具呼叫做語義檢查,成本只是 LLM 呼叫的一小部分。
- 檢測越獄和提示詞注入。
- 識別違規和敏感資料洩露。
- 即時檢測工具呼叫錯誤和響應質量問題。
- 記錄結構化的檢查結果和機率分佈,讓 AI 系統與 harness 的故障更容易追蹤。
語義程式碼檢查
- 用 Jev 查詢給程式碼和寫作加上自動化的語義檢查(lint)。
- 為團隊的編碼規範和寫作指南定義檢查項。
- 在 CI 裡跑這些檢查,把違規標出來供人工審閱。
為預測建模做特徵抽取
- 用 Jev 從自然語言資料裡抽取機率化特徵。
- 把這些特徵和結構化資料結合,為有真值結果的任務訓練模型。
- 用自動研究工作流提出特徵定義,並在留出的真值上評估它們的預測價值。
招聘
- 按明確的崗位相關判定標準評估簡歷、申請材料和麵試反饋。
- 識別相關經驗。
- 為崗位所需能力的證據評分。
- 把候選人和崗位匹配起來。
- 把候選人路由給招聘經理或招聘專員。
- 把不確定的案例升級出去做人工複核。
線索生成
- 把公司簡介、高管履歷和來信匹配到理想客戶畫像。
- 給行業契合度和公司成熟度評分。
- 檢測買方相關性、痛點和購買意向。
- 給線索排優先順序並做路由。
客戶支援
- 按問題型別、產品模組和客戶意圖給進來的工單分類。
- 處理通話記錄,抽取客戶問題、承諾事項和後續動作。
- 檢測緊急度、挫敗感、流失風險和退款請求。
- 把案例路由到正確的團隊、佇列或自動化工作流。
- 按政策和客戶請求校驗客服回覆。
保險理賠
- 給出險報案、理算員備註和佐證檔案分類。
- 檢測理賠複雜度、資訊缺失和潛在的欺詐訊號。
- 給理賠排優先順序,決定是直通處理還是交專家複核。
- 把不確定或高風險案例升級給人工理算員。
金融犯罪
- 評估交易描述、KYC 文件和告警歷史,找出可疑特徵。
- 跨不一致的姓名、檔案和記錄做實體對齊。
- 按風險、相關性和證據質量給告警排優先順序。
- 把模糊案例路由給調查員審閱。
法律與合規
- 給合同、政策、監管備案和營銷主張分類。
- 檢測缺失條款、被禁主張和違規。
- 按明確的法律或合規要求校驗文件。
- 把高風險或不確定的發現升級給法務或合規團隊。
電商平臺
- 跨格式不一的賣家商品目錄,給商品列表分類並做歸一化。
- 從標題和描述裡抽取商品屬性。
- 檢測違禁商品、假貨訊號、刷評和違規。
- 給商品排序,把不確定的商品列表轉人工複核。
內容稽核與信任安全
- 用貼合公司的細緻判定標準,決定哪些帖子符合你的內容稽核標準。
- 在社群、客戶支援和 SDR 工作流裡稽核使用者內容和自動對話。
- 檢測毒性內容、騷擾、垃圾資訊、欺詐、不安全建議、個人資料洩露、退訂請求和違規主張。
- 結合嚴重程度和置信度,決定內容放行、警告、待審還是遮蔽。
廣告
- 評估創意素材、廣告文案、落地頁和投放位置上下文。
- 給品牌安全性和受眾適配度分類。
- 檢查合規性和被禁主張。
- 評估創意質量和廣告與落地頁的一致性。
遊戲
- 評估玩家舉報、遊戲內聊天、評論和客服對話。
- 稽核聊天內容,檢測辱罵、毒性或可疑行為。
- 給內容打標註,併為挫敗感或參與度評分。
- 檢測流失訊號,並對玩家支援請求做路由。
風險評估
- 把事故報告、理賠備註、交易描述和供應商評估轉換成機率化的風險指標。
- 在保險和承保工作流裡使用這些指標。
- 給風險型別分類,檢測可疑特徵。
- 為嚴重程度評分並安排審閱優先順序。
- 為更宏觀的風險模型抽取特徵。
需求預測
- 用來自客戶諮詢、銷售備註、產品評論、支援工單和市場報告的語義訊號,豐富預測模型的輸入。
- 抽取購買意向、緊急度和產品興趣。
- 檢測供應擔憂、競爭壓力和新興需求主題。
- 把這些特徵和歷史時間序列資料一起餵給預測模型。
圖譜與知識圖譜
- 用型別化的語義決策來標註和校驗知識圖譜。
- 給關係和實體型別分類。
- 檢測記錄或主張之間的矛盾。
- 支援機率化遍歷和層級分類。
示例任務分類
| 決策形態 | 什麼時候用 | 示例 |
|---|---|---|
| 分類 | 應當有一個已知類別勝出 | 意圖、主題、部門、風險型別、實體型別 |
| 檢測 | 你需要一個「某屬性存在」的機率 | 垃圾資訊、欺詐、緊急度、越獄、敏感資料 |
| 評分 | 答案落在一條有序的量規上 | 嚴重程度、相關性、質量、挫敗感、適配度 |
| 路由 | 一個類別決定接下來走哪條程式碼路徑 | 工具使用、升級、模型路由、支援佇列 |
| 搜尋 | 你需要找出匹配自然語言查詢的條目 | 語義搜尋、文件發現、候選生成 |
| 檢索 | 工作流需要最相關的上下文或記錄 | RAG 上下文、證據檢索、知識查詢 |
| 排序 | 條目需要按語義相關性或質量排序 | 搜尋結果、推薦、候選優先順序 |
| 校驗 | 需要針對特定失效模式檢查某個產物 | 引用支撐、違規、工具呼叫錯誤、響應質量 |
| ML 特徵抽取 | 下游的傳統 ML 模型需要語義訊號 | 購買意向、產品興趣、競爭壓力、流失訊號 |
| 結構化資料抽取 | 需要從非結構化輸入裡恢復已知欄位 | 候選人屬性、訂單欄位、文件標籤 |