Stories by mechtaev

Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

AutoCodeRover: Autonomous Program Improvement

Show HN: Modus, a Datalog dialect for building Docker/OCI container images