实体
TLA+
TLA+
PulseAugur coverage of TLA+ — every cluster mentioning TLA+ across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
TLA-Prover模型可合成可验证的TLA+规范，成功率达30%
研究人员开发了TLA-Prover，一个拥有200亿参数的模型，旨在为分布式系统合成可验证的TLA+规范。该模型显著优于现有的LLM，在一个基准测试上达到了30%的成功率，比之前的基线提高了约3.5倍。TLA-Prover结合了监督微调和一种新颖的基于修复的策略优化技术，以增强其生成正确且可验证规范的能力。
-
TLA+语言更新，新增语法和可观测性功能
TLA+语言已更新，新增功能包括用于增强语法的元组绑定解构和无界CHOOSE，以实现更灵活的变量赋值。可观测性也得到了改进，包括每个动作的转换计数、针对大状态空间的预飞建议以及关于边界的更清晰的工具描述。
-
AI开发者面临TLA+系统设计，引发工程师担忧
TLA+正被引入作为AI开发者的工具，旨在简化复杂系统的创建。然而，它与LaTeX的相似性引起了工程师的担忧。虽然AI模型可以生成TLA+代码，但用户仍需负责理解和验证其功能。