Summary
Yanjian Zhang is a data scientist and AI researcher focused on formal mathematical and code reasoning, currently pursuing PhD-level work in LLM reasoning and interning at Analemma AI. With about eight years of industry experience spanning finance, gaming, and e-commerce—plus a year of academic research at Laboratoire d'Informatique de Paris Nord in collaboration with Shanghai AI Lab—he blends applied deployment experience with theoretical inquiry. His background includes building trading systems, visual table extraction for financial reports, multilingual chatbot pretraining, and game data-driven Data2Text, giving him practical end-to-end ML and pipeline skills. Comfortable in both academic and product settings, he has collaborated internationally (Fudan, CentraleSupélec, UBC, McMaster) and spent a visiting scholar term at Shanghai AI Lab on formal language reasoning. Active on GitHub with a clear focus on artificial mathematical and code reasoning, he brings a rare mix of quantitative finance, production ML, and formal LLM research to bridge theory and deployable systems.
8 years of coding experience
3 years of employment as a software developer
Erasmus Joint degree Master Big Data Management and Analysis, Erasmus Joint degree Master Big Data Management and Analysis at CentraleSupélec
Visiting Student Innovation & Entrepreneurship, Visiting Student Innovation & Entrepreneurship at McMaster University
Doctor of Philosophy - PhD LLM Reasoning, Doctor of Philosophy - PhD LLM Reasoning at Université Sorbonne Paris Nord
Doctor of Philosophy - PhD LLM Reasoning, Doctor of Philosophy - PhD LLM Reasoning at Université Paris Cité
Bachelor of Science Data Science, Bachelor of Science Data Science at Fudan University
Visiting Student School of Community and Regional Planning, Visiting Student School of Community and Regional Planning at The University of British Columbia
English, French, Chinese, Chinese