When Boys Are More Generous Than Girls: Effects of Gender and Coordination Level on Prosocial Behavior in 4-year-old Chinese Children. - Yingjia Wan; Hong Fu; Michael Tanenhaus (CogSci, 2018)

A Self-Learned Arbitration Between Model-Based and Model-Free Navigation Strategies in Autonomous Driving. - Shaojun Cai; Yingjia Wan (CogSci, 2020)

Effects of Coordination on Perspective-taking: Evidence from Eye-tracking. - Yipu Wei; Yingjia Wan; Michael Tanenhaus (CogSci, 2020)

Topometric Imitation Learning For Route Following Under Appearance Change. - Shaojun Cai; Yingjia Wan (CVPR Workshops, 2020)

Rhythmic Coordination Affects Children's Perspective-Taking during Online Communication. - Yingjia Wan; Yipu Wei; Baorui Xu; Michael Tanenhaus (CogSci, 2022)

Navigating Real-World Challenges: A Quadruped Robot Guiding System for Visually Impaired People in Diverse Environments. - Shaojun Cai; Ashwin Ram 002; Zhengtai Gou; Mohd Alqama Wasim Shaikh; Yu-An Chen; Yingjia Wan; Kotaro Hara; Shengdong Zhao 001; David Hsu (CHI, 2024)

MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs. - Zhongshen Zeng; Yinhong Liu; Yingjia Wan; Jingyao Li; Pengguang Chen; Jianbo Dai; Yuxuan Yao; Rongwu Xu; Zehan Qi; Wanru Zhao; Linling Shen; Jianqiao Lu; et al. (NeurIPS, 2024)

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. - Jianqiao Lu; Zhiyang Dou; Hongru Wang 003; Zeyu Cao; Jianbo Dai; Yingjia Wan; Yinya Huang; Zhijiang Guo (CoRR, 2024)

Process-Driven Autoformalization in Lean 4. - Jianqiao Lu; Zhengying Liu; Yingjia Wan; Yinya Huang; Haiming Wang; Zhicheng Yang; Jing Tang 004; Zhijiang Guo (CoRR, 2024)

MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models. - Zhongshen Zeng; Yinhong Liu; Yingjia Wan; Jingyao Li; Pengguang Chen; Jianbo Dai; Yuxuan Yao; Rongwu Xu; Zehan Qi; Wanru Zhao; Linling Shen; Jianqiao Lu; et al. (CoRR, 2024)

FormalAlign: Automated Alignment Evaluation for Autoformalization. - Jianqiao Lu; Yingjia Wan; Yinya Huang; Jing Xiong; Zhengying Liu; Zhijiang Guo (ICLR, 2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. - Anjiang Wei; Yuheng Wu; Yingjia Wan; Tarun Suresh; Huanmi Tan; Zhanke Zhou; Sanmi Koyejo; Ke Wang; Alex Aiken (CoRR, 2025)