Process-Driven Autoformalization in Lean 4

Jianqing Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
June, 2024
Code Dataset arxiv
An overview of process-driven autoformalization (PDA), designed to evaluate the autoformalization capabilities of large language models through process-level supersvision.
Type
Preprint
Publication
Preprint available
Yingjia Wan
Yingjia Wan
Student Researcher in Natural Language Processing

My research interests lie in LLM reasoning, debiasing, hallucination, multimodality, and cognition-inspired NLP.