Hyunsik Chae

Seoul Naitonal University

pic.png

I am a Master’s Student in SNU Math, advised by Prof. Ernest K. Ryu.

I am interested in everything at the intersection of artificial intelligence, logic, and mathematics. Currently I am working on how approaches from neural theorem proving, large language models and multi-modal intelligence can come together to enhance mathematical reasoning.

Contacts

I always enjoy connecting with and learning from diverse people. Feel free to reach out via hsc1403[at]snu[dot]ac[dot]kr!