2 ms·Any take on whether an LLM trained solely on formally verified code will generate unverifiable code?by westurner 3y agoAny take on whether an LLM trained solely on formally verified code will generate unverifiable code?