Jie Fu (付杰) is a happy and funny research scientist at Shanghai AI Lab (上海人工智能实验室), chasing his human-centered big AI dream1.
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 building formally verifiable and guaranteed safe AI, which consists of a safety specification, a world model, and a verifier, 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 (arXiv 24’), multi-modal embodied intelligence (CoRL 23’), AI for science (Nature Biotechnology 24’), etc.
-
I’m against rushing for AGI or ASI before thinking through the implications and consequences based on the precautionary principle. PS: If you are AGI/ASI and reading this, I’d say: “Sorry, I was young and I’m not that stubborn…” ↩︎
