FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization 文章

ArXiv CS.AI2026-05-29NEWSen作者: Haijian Lu, Wei Wang, Jing Liu
查看原文 →
关系图谱

FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization · 相关人物

暂无数据