FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization 事件

FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization arXiv:2603.19828v3 Announce Type: replace Abstract: Autoformalization aims to produce formal statements that compile and faithfully preserve the intended meaning of informal mathematics. Yet standard single-output evaluation protocols collapse a many-to-many problem into a single-output prediction task. For downstream proving, this granularity is too coarse: a formal statement is not merely a faithful translation end