FormalAlign: Automated Alignment Evaluation for Autoformalization

Jianqing Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo
June, 2024
arXiv
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.