Hacker News new | ask | show | jobs
by tptacek 385 days ago
Yes, I mean LLMs generating proof specs and invoking assistants, not that they themselves do any formal modeling.