kerberosmansour/TLA_AutoRepair

A TLA+ AutoRepair System For Formal Specification with GPT-4

4 best points · 1 comments · 1 Hacker News post · 15 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (4 points, 1 comments, by kerberosmansour, 2023-07-24)