Double major in Applied Mathematics and Computer Science and Engineering at Kyung Hee University.
Projects
- Ko-AgentBench: Comprehensive Evaluation Benchmark for Korean Tool-Calling Agents
Open Source Contributions
- leanprover-community/lean-auto #73: Fixed variable capture in TH0 quantifier translation and added regression tests.
- leanprover/doc-gen4 #399: Fixed multiline documentation rendering to preserve spaces and paragraph boundaries.
- huggingface/transformers #39536, #39890: Contributed Korean translations for the model hacking guide and Jamba documentation.
- SWE-bench/SWE-bench #468: Fixed a broken documentation link in the SWE-bench collection guide.
Bug Report
- google/tunix #1321: Reported a reproducible Qwen2 KV-cache dtype mismatch that was subsequently fixed upstream.