TLAPS-Bench uses the TLA+ Proof System to formally prove the correctness of complex protocols and systems. It also provides a rich, extensible, and scalable benchmark suite for frontier AI. From @tianyin_xu, one of 25+ posters at Frontier Data Summit. https://t.co/uCDxsTKej4 pic.twitter.com/7GMHKrXdD3
— Snorkel AI (@SnorkelAI) 1 octobre 2026
TLAPS-Bench uses the TLA+ Proof System to formally prove the correctness of complex protocols and systems. It also provides a rich, extensible, and scalable benchmark suite for frontier AI. From @tianyin_xu
, one of 25+ posters at Frontier Data Summit. https://
frontierdatasummit.ai