Awards are useful when they point back to the work.
I keep this page less as a trophy shelf and more as a trail of signals: Lean/AI4Math agents, RAG systems, forecasting, AI safety, and product-building experiments that later became part of a larger research workshop. Items are ordered by significance and selectivity rather than recency.
Best Presentation Award
ISIS 2025, International Symposium on Advanced Intelligent Systems
recognized work
A Case Study on Alignment Faking in LLMs
Recognized for a study on monitoring-aware behavior in language models and the formal framing of alignment faking.
Best Paper Award
2026 KIIS Spring Conference
Proposal of an LLM-Lean approach and architecture for automated mathematical problem solving
A recent, lower-stakes conference recognition whose importance is contextual: it is public evidence that the IMDS Lean/AI4Math line has moved from internal research into an official presentation track.
SourceBest Paper Award
Korean Institute of Intelligent Systems
Water Level Forecasting using AI
A forecasting-oriented applied AI paper connected to the TimeGPT water-level prediction line of work.
Best Paper Award
Korean Institute of Intelligent Systems
Performance Optimization of RAG-based LLMs
An early applied-RAG recognition that fed into later work on domain documents and agent-readable retrieval systems.
Encouragement Prize
1st AI Commercial Festival
AI-driven advertising business prototype
Recognition for product-oriented AI work and the business side of deployed systems.
Dean's List
Sogang University · 2024
Recognized by Sogang University's College of Natural Sciences for academic performance during my master's program. I keep it here as part of the transition from mathematics into AI systems research.