Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
机构 * University of Sydney(悉尼大学)
专题命中 软件智能体 :agent(abstract);分类 cs.AI、cs.SE
Comments Accepted to the NIER track of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)