Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
基于分支时间语义的计数世界语义用于生成AI的事后偏差缓解
专题命中 其他图像生成 :image generation(abstract)
AI总结 本文提出CTLF分支时间逻辑,用于分析生成AI输出序列中的偏差,通过计数世界语义验证输出序列是否符合保护属性的概率分布,预测生成新输出时的偏差范围,以及确定需移除的输出数量以恢复公平性。