Hacker News new | ask | show | jobs
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
6 points by mechtaev 447 days ago