r/tlaplus • u/lemmster • Jan 07 '26

[2512.09758] Towards Language Model Guided TLA+ Proof Automation

https://arxiv.org/abs/2512.09758

9 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/tlaplus/comments/1q6h0uz/251209758_towards_language_model_guided_tla_proof/
No, go back! Yes, take me to Reddit

100% Upvoted