FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization

Haijian Lu, Wei Wang, Jing Liu

Autoformalization aims to produce formal statements that compile and faithfully preserve the intended meaning of informal mathematics. Yet standard single-output evaluation protoco…