4 ms·HoarePrompt: Structural Reasoning About Program Correctness in Natural Language6 points by mechtaev 2y ago