Jianuo Cao
Hi, I am Jianuo Cao. I am an undergraduate student (Sep. 2023 - Present) majoring in Intelligence Science and Technology at Nanjing University, where I am fortunate to work closely with Prof. Lan-Zhe Guo and Prof. Jieqi Shi. I was also a Visiting Student Researcher at the MSC Lab in UC Berkeley, advised by Prof. Masayoshi Tomizuka.
I maintain the leading academic standing in my department (GPA: 94/100, Rank: 1/151) and am a recipient of the National Scholarship. Additionally, my work in mathematical modeling has been recognized with the MCM Finalist Award (Top 2%) and the CUMCM National First Prize.
My current research interests lie in Robot Learning, Embodied AI, and Whole Body Control. My research goal is to develop generalizable embodied intelligence, enabling robots to seamlessly map natural language instructions to agile, executable actions in open-world environments. I also have a keen interest in exploring AI for Mathematics, specifically in automated formal theorem proving.
Email /
Google Scholar /
GitHub /
X
|
|
- [02/2026] One paper FormalML regarding formal subgoal completion was accepted by ICLR 2026!
- [11/2025] Our research project on edge-deployable bimanual manipulation using VLA models winning the National Second Prize in the 2025 "Challenge Cup" Academic Competition!
- [10/2025] One paper was accepted by the NeurIPS 2025 Math Workshop.
- [06/2025] I will join the MSC Lab at UC Berkeley as a Visiting Student Researcher (VSR), working on humanoid whole-body control under the supervision of Prof. Masayoshi Tomizuka.
|
|
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang,
Zihao Zhang*,
Jianuo Cao,
Zhi Zhou,
Zenan Li,
Lan-Zhe Guo,
Yuan Yao,
Taolue Chen,
Yu-Feng Li,
Xiaoxing Ma
Accepted by NeurIPS 2025 Math Workshop and ICLR 2026
|
|
Rhythms of Victory: Predicting Professional Tennis Matches Using Machine Learning
Yilin Lei,
Ao Lin,
Jianuo Cao
IEEE Access, 2024
|
Selected Honors and Awards
|
- MCM Finalist Award (Top 2% globally), Mathematical Contest in Modeling of America 2025
- National Second Prize, "Challenge Cup" National College Student Academic Competition 2025
- National Scholarship (Top 0.2% nationwide, the most prestigious undergraduate scholarship in China) 2024
- National First Prize (Top 1% nationwide), China Undergraduate Mathematical Contest in Modeling (CUMCM) 2024
- First-Class Scholarship for Research Project in Computer Vision 2024
|
|