人工智能系列讲座（七）：Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems

• 报告人：林方真 教授（香港科技大学）
• 主持人：王以松（贵州大学）
• 时间：2023年6月9日（星期五）10:00—11:00
• 地点：贵州大学至善楼402会议室

报告摘要

对比使用大语言模型直接求解自然语言推理问题，以及先由大语言模型提取事实、再交给定理证明器求解两种方法。

报告人简介

林方真教授1991年获斯坦福大学计算机科学博士学位，为 AAAI Fellow，研究领域包括非单调推理、自主机器人理论、逻辑程序设计和行动推理。