Hacker News new | ask | show | jobs
by thfuran 827 days ago
Then it's not a formal verification tool. Generative models are profoundly unfit for that purpose.