in five years LLMs will be able to read all this code.and not only review it, but extract formalspecs of the intended behaviour and automatically synthesize formally verified…

Posters: davidad. davidad

5 likes recorded by the source corpus.