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 in latent way. SpiralThinker
- Enable the model’s reasoning ability to generalize to a broader range. GeneralThinker (underway)
Formal Language Generation