Graph Machine Learning for Logical Reasoning
Project Description
Intelligence involves both reasoning and learning. This UROP project focuses on exploring the integration of logical reasoning with machine learning, with an emphasis on graph machine learning. The project will study foundational concepts and engineering techniques that underlie modern reasoning engines. It will also survey recent research that uses graph machine learning to enhance reasoning systems, as well as the reverse. Additionally, the project will explore neuro-symbolic methods. The goal of the project is to develop a framework for learning algorithms that can learn reasoning abilities autonomously, creating a novel approach to solving complex problems that require logical reasoning.
Supervisor
SONG Yangqiu
Quota
5
Course type
UROP1000
UROP1100
UROP2100
UROP3100
UROP3200
UROP4100
Applicant's Roles
The selected students will be expected to conduct research by reading relevant papers, designing algorithms, conducting experiments, and drafting papers. The applicants should have prior experience with graph machine learning and programming.
Applicant's Learning Objectives
This project aims to help students learn how to conduct machine learning research and participate in a project that may result in publication in a top conference.
Complexity of the project
Challenging