实体 TLA-Prover

TLA-Prover

PulseAugur coverage of TLA-Prover — every cluster mentioning TLA-Prover across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

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

RESEARCH · CL_72517 · Jun 4 · 13:17

TLA-Prover模型可合成可验证的TLA+规范，成功率达30%

研究人员开发了TLA-Prover，一个拥有200亿参数的模型，旨在为分布式系统合成可验证的TLA+规范。该模型显著优于现有的LLM，在一个基准测试上达到了30%的成功率，比之前的基线提高了约3.5倍。TLA-Prover结合了监督微调和一种新颖的基于修复的策略优化技术，以增强其生成正确且可验证规范的能力。