新闻

林方真 教授（香港科技大学）作题为《Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems》的学术报告。

胡畔 博士（上海交通大学）作题为《A Modular Approach to Datalog Reasoning》的学术报告。

陈使明 博士（卡内基梅隆大学博士后）作题为《Semantic-Guided Zero-Shot Learning》的学术报告。

杨溢龙 博士作题为《Automated Prototype Generation from Requirements Model》的学术报告。

Neng-Fa Zhou 教授（纽约城市大学）作题为《Building a Fast CSP Solver based on SAT》的学术报告。

张志华 教授（北京大学）作题为《理解机器学习的一个视角——数学工程》的学术报告。

吴喜之 教授作题为《认识世界和机器学习》的学术报告。