Publications

Jianqing Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo (2024). Process-Driven Autoformalization in Lean 4. Preprint available at arXiv:2406.01940..

Code Dataset arxiv

Zhongshen Zeng, Yinhong Liu, Yingjia Wan, Jingyao Li, Pengguang Chen, Jianbo Dai, Yuxuan Yao, Rongwu Xu, Zehan Qi, Wanru Zhao, Linling Shen, Jianqiao Lu, Haochen Tan, Yukang Chen, Hao Zhang, Zhan Shi, Bailin Wang, Zhijiang Guo, Jiaya Jia (2024). Mr.Ben: A Comprehensive Meta-Reasoning Benchmark for Analyzing Large Language Models. Preprint available on arXiv:2406.13975..

Code Dataset Blog arXiv

Jianqing Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yinya Huang, Zhijiang Guo (2024). AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. Preprint available at arXiv:2405.16802..

Code arxiv

Jianqing Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo (2024). AUTOALIGN: Automated Alignment Evaluation in Autoformalization. Preprint provided upon request.

Yingjia Wan, Ivan Vulić (2023). Multimodal Prompt Tuning for Cognition-Enhanced NLP. [MPhil Dissertation].

PDF Code

Yingjia Wan, Matthew Wallace (2022). Reading-While-Listening vs. Reading-Only in A Second Language at Different Language Proficiencies: an Eye-Tracking Study. In AsiaTEFL 2022.

Sarah Stilwell, Anjli Narwani, Jessica Pelton, Xi Zhang, Qi Zeng, Qi Zhao, Yingjia Wan, Kevin Miller (2021). Pedagogy in a Pandemic: College Instructor Perspectives on Online Instruction during COVID-19 at Universities in USA and China. In AERA 2022 Annual Meeting.