Tag: verification

All the articles with the tag "verification".

• 7.7

  SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution

  2026年04月23日

  · arXiv cs.AI· 04/23 14:32 采集

  SolidCoder揭示代码生成的根本缺陷——'心理-现实差距'：LLM幻觉执行轨迹并自信验证buggy代码，通过具体执行弥合。