Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
(github.com/msv-lab)
6 points
mechtaev
a year ago
discuss
2.
▲
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
(github.com/msv-lab)
2 points
mechtaev
8 months ago
discuss