大模型对齐与安全

Adequate Losses via Quantitative Linear Logic

量化线性逻辑

Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya, Matthew Daggitt

专题命中 其他安全 ：safety(abstract)

AI总结 本文提出量化序列演算，结合实数上的加法与乘法性质及序列演算修订，解决线性与模糊逻辑中加法连接词的软语义问题，并展示其在扩展残余软格中的完备性。

Comments Once 'Quantitative Linear Logic', the ML applications have been outlined more clearly and the exposition tightened. Comments welcome