I hope the organizers don't mind that ChatGPT is a co-author in the abstract to ANISE -- a formally verified and thread-safe re-write of SPICE. Chris de Claverie, Greg Henry and I are working hard to include many more of SPICE's features.