Last News

AI Lecture 7: Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems
Prof. Fangzhen Lin (HKUST) presents Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems.
Jun 9, 2023 1 min read
AI Lecture 7: Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems
AI Lecture 6: A Modular Approach to Datalog Reasoning
Dr. Pan Hu (Shanghai Jiao Tong University) presents A Modular Approach to Datalog Reasoning.
May 6, 2023 1 min read
AI Lecture 6: A Modular Approach to Datalog Reasoning
AI Lecture 5: Semantic-Guided Zero-Shot Learning
Dr. Shiming Chen (CMU) presents Semantic-Guided Zero-Shot Learning.
Apr 3, 2023 1 min read
AI Lecture 5: Semantic-Guided Zero-Shot Learning
AI Lecture 4: Automated Prototype Generation from Requirements Model
Dr. Yilong Yang presents Automated Prototype Generation from Requirements Model.
Oct 17, 2019 1 min read
AI Lecture 4: Automated Prototype Generation from Requirements Model
AI Lecture 3: Building a Fast CSP Solver based on SAT
Prof. Neng-Fa Zhou (CUNY) presents Building a Fast CSP Solver based on SAT.
Jun 17, 2019 1 min read
AI Lecture 3: Building a Fast CSP Solver based on SAT
AI Lecture 2: A Mathematical Engineering Perspective on Machine Learning
Prof. Zhihua Zhang (Peking University) presents A Mathematical Engineering Perspective on Machine Learning.
May 17, 2019 1 min read
AI Lecture 2: A Mathematical Engineering Perspective on Machine Learning
AI Lecture 1: Understanding the World and Machine Learning
Prof. Xizhi Wu presents Understanding the World and Machine Learning.
Apr 1, 2019 1 min read
AI Lecture 1: Understanding the World and Machine Learning