Jie Fu (付杰) is a happy and funny research scientist at Shanghai AI Lab (上海人工智能实验室), chasing his human-friendly big AI¹ dream. He is also a tenure-track assistant professor at Shanghai Innovation Institute (上海创智学院).

He was a postdoctoral fellow (funded by Microsoft Research Montreal) supervised by Yoshua Bengio at University of Montreal, Quebec AI Institute (Mila). He was an IVADO postdoctoral fellow supervised by Chris Pal at Polytechnique Montreal, Quebec AI Institute (Mila). He obtained his PhD from National University of Singapore under the supervision of Tat-Seng Chua. He received outstanding paper awards at NAACL 2024, ICLR 2021, and ACM Gordon Bell Prize (COVID-19 Track) 2022 Finalist.

His research agenda is centered around autoformalization and formal reasoning & verification to build math-seeking AI (inspired by math universe hypothesis, programming language, and truth-seeking) for preserving and flourishing humanity, and the key techniques include: LLMs (NAACL 24’), deep reinforcement learning (ICML 24’), diffusion LM, meta learning (ICLR 24’), reasoning (arXiv 25’), safe AI (arXiv alignment survey 23’), etc.