SysMoBench

Polygraph, a new Claude Code plugin and standalone CLI, uses LLMs to automatically generate formal models of stateful JavaScript code and exhaustively check for bugs, finding violations like double ch…

Here is a 2-3 sentence factual summary of the article: SysMoBench is a benchmark designed to evaluate generative AI's ability to formally model complex concurrent and distributed systems using TLA+. …