4 ms·Then it's not a formal verification tool. Generative models are profoundly unfit for that purpose.by thfuran 3y agoThen it's not a formal verification tool. Generative models are profoundly unfit for that purpose.