实体 Zenan Li

Zenan Li

PulseAugur coverage of Zenan Li — every cluster mentioning Zenan Li across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_22561 · May 8 · 04:00

神经符号AI框架自动化软件验证证明

研究人员开发了一种新颖的神经符号框架，以自动化系统软件验证的证明生成。该方法结合了大型语言模型（LLM）和交互式定理证明（ITP）工具，以更有效地导航证明状态。通过在证明数据上微调LLM，并集成符号ITP工具进行步骤修复和子目标求解，该系统显著增强了证明自动化。