Jae-Hyun Baek
(백 재 현)
AI Safety Researcher•Formal Methods•Alignment Faking
Sogang University, Master of Science in Mathematics
"Researching Alignment Faking with Formal Verification"I formalize the discrepancy between internal motives and external behaviors of LLMs.
Aiming to build Robust & Trustworthy AI Systems at AIM Intelligence.
"Diagnosing AI not just by observation, but by mathematical guarantees."
DeepFountain Corp🏆
ISIS Best Presentation Award🤗
HuggingFace 100+ Downloads🚀
DeepFountain Team LeaderBusiness Card
Professional Identity & Contact Information
Front Side
Basic Info & Logo
Back Side
Expertise & Vision
Professional business card design for networking. Reflecting expertise as a Team Leader at DeepFountain and specialized skills in AI/ML & Formal Methods.