Publications

(2024). Process-Driven Autoformalization in Lean 4. Submmitted to NeurIPS 2024. Preprint available at arXiv..

Code Dataset arxiv

(2024). Mr.Ben: A Comprehensive Meta-Reasoning Benchmark for Analyzing Large Language Models. Submmitted to NeurIPS 2024.

Code Dataset Blog

(2024). AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. Submmitted to NeurIPS 2024. Preprint available at arXiv..

Code arxiv

(2024). AUTOALIGN: Automated Alignment Evaluation in Autoformalization. Submmitted to EMNLP 2024. Preprint provided upon request.

(2023). Multimodal Prompt Tuning for Cognition-Enhanced NLP. [MPhil Dissertation].

PDF Code

(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.