Minsoo's Blog

  guest@minsoo.blog:~$ whoami

    Minsoo Ha
    - Undergraduate student at Pohang University of Science and Technology (POSTECH)
    - Degree: B.S. Mathematics
    - GPA: 3.75/4.3
    - Interests: Neuro-symbolic AI, Reinforcement Learning, Software Engineering
    - Research Experience in LLM/RAG, RL, Quantitative finance and Neuro-symbolic AI
  

  guest@minsoo.blog:~$ tree skills
  
    skills
    ├── programming_languages
    │   ├── Python
    │   ├── C++
    │   ├── Lean
    │   └── Javascript (Typescript)
    │
    ├── frameworks
    │   ├── machine_learning
    │   │   ├── PyTorch
    │   │   ├── Stable-baselines
    │   │   └── Hugging Face Transformers
    │   │
    │   ├── web_development
    │   │   ├── Express.js
    │   │   └── FastAPI
    │   │
    │   ├── dev_ops
    │   │   ├── Terraform
    │   │   └── Github Actions
    │   │
    │   ├── cloud_platforms
    │   │   ├── AWS
    │   │   └── GCP
    │   │
    │   └── ai_engineering
    │       ├── LangSmith
    │       └── LangGraph
    ├── tools
    │   ├── Git
    │   └── Docker
    │
    └── languages
        ├── Korean (Native)
        └── English (Fluent)
  

  guest@minsoo.blog:~$ history

    1  Co-founder - KnowGem                                (Sep 2025 - present)
        Building a knowledge graph management system leveraging LLM.
        Aim to build hallucination-free, deductive reasoning system based on symbolic reasoning.
        Leading engineering efforts, including system design, implementation, and deployment.
        Have a trial on our product: knowgem.net

    2  Undergraduate Research Assistant - ML lab @ POSTECH (Sep 2025 - present)
        Research on LLM reasoning and Reinforcement learning, under supervision of Prof. Sangdon Park.
    
    3  Fundamental Research Engineer - LinqAlpha           (Jan 2025 - Aug 2025)
        RAG for finance; Built Text-to-SQL, STT model, and various workflows leveraging LLM.
    
    4  Elite League Season 2 - POSTECH representative      (Dec 2024)
        Competed in the Elite League (a.k.a. University War), Coupang Play's original program, 
        brain-power survival reality show featuring South Korea's top 1% elite students. 
        Selected as one of the four students to represent my school.
    
    5  Member - FBA Quant                                  (Aug 2024 - present)
        Studied quantitative finance, applied ML to finance domain.

    6  Republic of Korea Army                              (Feb 2022 - Oct 2023)
        Served in the Republic of Korea Army as a reserve training instructor.

    7  B.S. Mathematics at POSTECH                         (Feb 2020 - present)
        Coursework in Analysis, Probability Theory, Machine Learning, etc.
        President of sports climbing club.