cognitive-fab/polygraph

A polygraph for your state machine: an LLM derives a formal…