Outstanding Paper Award at NAACL 2024 (6 out of 2434 submissions)
Outstanding Paper Award at ICLR 2021 (8 out of 2997 submissions)
Finalist for ACM Gordon Bell Prize (COVID-19 Track) 2022
Oral presentation at ACL 2025 (243 out of 3000 accepted papers)
Spotlight paper at NeurIPS 2024
Published 'Think Before You Act: Decision Transformers with Working Memory' at ICML 2024
Published 'Massive Editing for Large Language Models via Meta Learning' at ICLR 2024
Published research on single-cell evolution tracking in Nature Biotechnology 2024
Background
Research Scientist at Shanghai AI Lab
Tenure-track Assistant Professor at Shanghai Innovation Institute
Research agenda centered on autoformalization and formal reasoning & verification to build math-seeking AI
Inspired by the mathematical universe hypothesis, programming languages, and truth-seeking, aiming to develop human-friendly AI that preserves and flourishes humanity
Key techniques include LLMs, deep reinforcement learning, diffusion LM, meta learning, reasoning, and safe AI alignment