身份分类论文修订：Lean 4 验证变换分类
热点事件持续更新
身份分类论文修订：Lean 4 验证变换分类
1 篇报道1 个报道来源12 小时前更新
先了解这件事
AI 综述
Denise M. Case 发布修订版论文，在“中立基质”条件中立性结果的基础上，提出把候选身份基与记录变换族配对，并按保持、破坏、中立、不适用四类对每个变换族分类。 作者用不变式定义的身份基和显式效应模型，在 Lean 4 中推导并验证了六个分类单元，覆盖范围分解、规则细化与分叉；论文共 60 页，形式化结果刻画了保持不变式的步进生成身份关系之间的相等与分离。
AI 根据报道生成 · 2 小时前更新
最新进展10月31日 12:00
Referential Regimes：面向中立基质的基于变换的身份画像报道时间线
沿着报道，了解事件的不同侧面。
10月31日
- arXiv cs.AIReferential Regimes：面向中立基质的基于变换的身份画像
论文在 Neutral Substrates 的条件中立性结果基础上，提出将候选身份基与记录变换族配对，并按保持、破坏、中立、不适用四类对每个变换族分类。作者用不变式定义的身份基和显式效应模型，在 Lean 4 中推导并验证了六个分类单元，覆盖范围分解、规则细化与分叉。
本事件热度走势
- 可比范围当前
- 7
- 可比范围峰值
- 810月31日 22:00
- 近 24 小时变化
- –
02468
22:0023:0011月1日
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。