About Me

I am currently pursuing a PhD at Yonsei University!

:rocket: Research

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

:thought_balloon: Reasoning Model

  • Enable the model to learn reasoning using natural language. TinyThiner
  • Enable the model to perform reasoning in latent way. SpiralThinker
  • Enable the model to update reasoning capability during test-time.

:pencil2: Formal Language Generation