文档的核心演算
摘要
提出了一个正式的文档核心演算，可能探讨了文档处理的类型系统或语义。
<p><a href="https://lobste.rs/s/bbr7q9/core_calculus_for_documents">评论</a></p>
相似文章
树演算
本文提供了树演算的可视化介绍，这是理论计算机科学中的一个最小化、模块化、图灵完备且反射性的演算系统，强调其简单性和可教学性。
阅读结构，写作散文：多智能体文档生成中的非对称结构条件
本文评估了一个用于正式投标响应的已部署多智能体系统，证明其在评估中达到了与人类相当的质量，并强调了其中的非对称性：结构化标记有助于阅读，但无助于写作。
一种类型化的代数解析方法
一篇介绍类型化代数解析方法的论文，很可能来自剑桥大学。
简化与重构初等微积分
该论文提出重构初等微积分，通过减少冗余和重新排序主题来简化教学，并借鉴计算机编程中代码重构的类比。
如何将全部数学形式化
一篇由形式化领域顶尖研究者（Jeremy Avigad、Kevin Buzzard、Johan Commelin、Rémy Degenne、Kim Morrison、Oliver Nash、Adam Topaz）撰写的客座文章，反思了人工智能在定理证明方面的飞速进展，对仓促开展的大规模形式化项目（如 Math, Inc. 的球体填充项目以及 Anthropic 对费马大定理的验证）提出警示，并勾勒了一个由社区驱动、追求高质量的数学形式化愿景。