Assured Automatic Programming via Large Language Models | Read Paper on Bytez