zlacker
[parent]
[thread]
0 comments
1. tptace+(OP)
[view]
[source]
2025-06-04 00:08:12
Yes, I mean LLMs generating proof specs and invoking assistants, not that they themselves do any formal modeling.
[go to top]