artificial-intelligence-in-education

本文介绍了认知智能体编译（CAC），这是一个利用教师大语言模型（Teacher LLMs）将问题求解知识编译为显式、可检查智能体的框架，专用于教育应用。该框架旨在通过将知识表示与策略及验证规则分离，解决标准大语言模型中缺乏可控性和可解释性的问题。