点击购买,资源将自动在新窗口打开.
获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
我的研究重点是通过神经符号表示,规范和验证来增强AI在机器人和自主系统中的可信度。我的目标是解决与现代RL相关的问题,例如缺乏逻辑理解,意外后果以及与安全,安全性和可靠性有关的问题。我目前的工作集中于通过对预训练(大型)模型的细胞调整和蒸馏来提取结构化知识或符号代表。
主要关键词