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 verification to build math-seeking AI (inspired by math universe hypothesis, programming language, and truth-seeking). The research topics include:

• Formal Methematical Reasoning with Deep Learning: reinforcement learning (ICML 24’), meta learning (ICLR 24’), reasoning (arXiv 25’), deep learning (NAACL 24’), etc.
• Applications: Safe AI (arXiv alignment survey 23’), multi-modal learning (ICLR 25’), multi-modal embodied intelligence (CoRL 23’), AI for science (Nature Biotechnology 24’), etc.