Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
专题命中 其他LLM :LLM(abstract);large language model(abstract);language model(abstract);分类 cs.AI
Comments Accepted at AAAI 2025. 11 pages, 4 listings, 2 figures and 5 tables