分支時間語義

深度分析

CTLF：以計數世界分支時間語義在推論階段檢測與緩解生成式 AI 偏見

生成式人工智慧常放大訓練資料偏誤。本文提出 CTLF（Counting Worlds 分支時間語義），以「世界＝可能輸出」的計數語義與模態運算子，檢驗輸出序列在受保護屬性上的分布、預測後續生成是否仍屬可接受範圍，並計算需移除多少輸出以恢復公平性。