Comment by tptacek

6 days ago

Yes, I mean LLMs generating proof specs and invoking assistants, not that they themselves do any formal modeling.

0 comments