About Me

I am currently pursuing a PhD at Yonsei University!

Research

My research primarily focuses on the development of natural language reasoning models and formal language generation.

Reasoning Model

  • Enable the model to learn reasoning using natural language. TinyThiner
  • Enable the model to perform reasoning more efficiently.

Formal Language Generation