Wanted to flag this here since it’s directly relevant to what a lot of you are already doing.
This Thursday, May 28 at 10am CT we’re running a live session using SpecLogician and ImandraX to model a financial exchange from scratch. The example is intentionally scoped — a tractable slice of matching logic, not a full production system — so you can follow the reasoning step by step.
The workflow in practice:
- An LLM proposes states, transitions, and scenarios as structured edits
- SpecLogician keeps them typed and consistent
- ImandraX reasons over the result and surfaces the counterexamples
You’ll see the full loop: artefact → formal model → counterexample → refined artefact.
For those of you already using ImandraX, this should give a concrete sense of how SpecLogician fits into the picture and where the LLM handoff works well (and where it doesn’t). We’ll be going at a pace where there’s room to see what’s actually happening under the hood.
Happy to take questions live or here beforehand.
Register here to attend: Riverside Studio