Author

Haozhe Sun

Observed name: Sun, Haozhe

Institutions: Northeastern University, Northeastern University

Observed institutions: Northeastern University, Northeastern University

OpenAlex ID: A5104031673

Automated Formalization via Conceptual Retrieval-Augmented LLMs

2025 · Lu, Wangyue, Du, Lun, et al. · arXiv (Cornell University)

Autoformalization in the Era of Large Language Models: A Survey

2025 · Weng, Ke, Du, Lun, et al. · arXiv (Cornell University)

Works count: 2

Citation count:

H-index:

I10-index: