Publications

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

arXiv

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

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 Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs. NeurIPS 2024.

Code Dataset Blog arXiv

Jianqiao Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yinya Huang, Zhijiang Guo (2024). AutoPSV: Automated Process-Supervised Verifier. NeurIPS 2024.

Code arxiv

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

PDF

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.