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 worked as a researcher (PI) at BAAI (智源人工智能研究院) and visiting scholar at HKUST. 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.

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.