Reducing Hallucinations in LLM-Gen. Code via Semantic Triangulation (OOPSLA 26)github.com·2 pts·mechtaev·0
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generationgithub.com·2 pts·mechtaev·0
HoarePrompt: Structural Reasoning About Program Correctness in Natural Languagegithub.com·6 pts·mechtaev·0
Show HN: Modus, a Datalog dialect for building Docker/OCI container imagesmodus-continens.com·9 pts·mechtaev·1