About
I am currently a first-year graduate student in Computer Science and Technology at the School of Intelligence Science and Technology, Nanjing University. I received my bachelor's degree in Computer Science and Technology from the School of Computer Science and Technology, Shandong University in June 2024.
Interests
I’m interested in exploring how logical reasoning can be leveraged in machine learning. My broader learning interests span Learning Theory, Probability Theory, Complexity Theory, Computability Theory, Real Analysis, Abstract Algebra, Linear Algebra, Category Theory, Type Theory, Model Theory, Set Theory and Mathematical Logic.
Last uptated: