标签
这篇博客文章讨论了单调函数的最小/最大不动点在编译与程序分析中的作用，指出人类编写的算法常默认收敛到错误的极端不动点，并用活跃变量分析、引用计数与类型传播举例说明如何通过正确的初始值找到真正需要的不动点。
本文将Jaccard距离推广到任意格，证明了在不同赋值下三角不等式的条件，并应用于量子信息、形式概念分析和机器学习。
本文提出了一种基于格论的方法来定义无偏规范集合值预言机，这些预言机即使在输出被学习并采取行动后仍能保持自洽，从而解决了AI预测中的表演性问题。