TLAPS-Bench is a benchmark and execution harness for constructing machine-checked proofs for real-world system specifications in TLA+ with agentic AI. Provin…
机构:UIUC
来源:arXiv 2611.02849 | AI4Papers 论文推荐平台