INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations
专题命中 领域大模型 :large language model(title,abstract);language model(title,abstract);分类 cs.AI
Comments To appear in ICLR 2025 Workshop: VerifAI: AI Verification in the Wild; in submission to 2025 IEEE 21th International Conference on Automation Science and Engineering (CASE), Los Angeles, CA, USA: IEEE, Aug. 2025