Jie Fu (付杰) is a happy and funny research scientist at Shanghai AI Lab (上海人工智能实验室), chasing his human-centered big AI dream.

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 formally verifiable AI with the capability of automated genuine logic reasoning. The research topics include:

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