Kyushu University
Research in AI safety, formal verification of Transformers, and certified robustness.
Education & Experience
Education
Waseda University
Research in low-resource German–Upper Sorbian neural machine translation and case-based reasoning for neural machine translation.
Sichuan University
Member of the Wu Yuzhang Honors College; research interests included machine learning and fake-review detection.
Industry experience
AI Research and Engineering Intern
Corpy & Co. · Oct 2025 – Jul 2026 · Remote / Japan
- Developed and evaluated LLM- and OCR-based pipelines for structured document understanding.
- Compared multiple language-model platforms and investigated robustness issues in structured extraction.
- Built data-generation workflows for PDF, Markdown, and spreadsheet sources.
- Contributed to retrieval-augmented question-answering workflows for technical documents.
- Worked with Python, LLM APIs, OCR systems, vector databases, and modern software-development workflows.
Award & funding
- Selected for the K-BOOST doctoral support program, 2025–2027.
Skills
Programming
Python · Git · Linux
Machine learning
PyTorch · Transformer models · Natural language processing · Large language models
Verification & optimization
Neural network verification · Bound propagation · Linear programming · Gurobi · Abstract interpretation
Document AI & engineering
OCR · LLM APIs · Vector databases · Docker
Languages
- Chinese: Native
- English: Professional working proficiency
- Japanese: JLPT N2
- Korean: Beginner