Process-Driven Autoformalization in Lean 4

An overview of process-driven autoformalization (PDA), designed to evaluate the autoformalization capabilities of large language models through process-level supersvision.
Preprint available at arXiv:2406.01940.
Yingjia Wan
Yingjia Wan
Student Researcher in Natural Language Processing

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