Comment by tptacek

5 days ago

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

0 comments