39 citations · 39 across the 4 of their papers we have counts for
1 paper · 1 filter
Qian Cheng, Ruize Tang, Saad Mohammad Rafid Pial +13
TLAPS-Bench is a benchmark and execution harness for constructing machine-checked proofs for real-world system specifications in TLA+ with agentic AI. Proving correctness of comple…