[andoando]

I am confused. Isnt the whole point of this that these programs provably do what they do? Isnt that the opposite of LLMs?

Seems more like LLMs made something more immediately useful.