HN Explorer

mechtaev

↗ HN profile [ 40.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Reducing Hallucinations in LLM-Gen. Code via Semantic Triangulation (OOPSLA 26) (github.com)
    2 points 0
  2. Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation (github.com)
    2 points 0
  3. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points 0
  4. AutoCodeRover: Autonomous Program Improvement (github.com)
    96 points 60
  5. Show HN: Modus, a Datalog dialect for building Docker/OCI container images (modus-continens.com)
    9 points 1