实体 Christoph M. Kirsch

Christoph M. Kirsch

PulseAugur coverage of Christoph M. Kirsch — every cluster mentioning Christoph M. Kirsch across labs, papers, and developer communities, ranked by signal.

Show in brief

总计 · 30天

90 天内 1

发布 · 30天

90 天内 0

论文 · 30天

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_169639 · Jul 29 · 04:00

新的编程语言翻译演算关注答案的可信度

研究人员开发了一种新的演算，用于分析编程语言之间的翻译，重点关注从这些翻译中得出的答案的可信度。该系统将翻译建模为一个具有不同可信度级别的图，允许可组合的契约来指定保证、方向和可观察数据。该系统的核心在 Lean 4 中进行了机械化，其实现名为 hurdy-gurdy，在两个层面运行：一个使用层面供 LLM 生成携带证据的答案，一个演化层面用于管理图的增长。该架构旨在通过记录未解决的问题和注册新的翻译来持续提高保真度，2026 年 7…

新的编程语言翻译演算关注答案的可信度