用户2034974931102

【摘要】认知系统通常需要人类将问题定义翻译成一些规范，认知系统可以使用这些规范来尝试解决问题或执行任务。在本文中，我们说明了大型语言模型（LLM）可以用于将自然语言中定义的问题类映射为半形式化规范，然