代码大模型 / AI 编程

PROMISE: Proof Automation as Structural Imitation of Human Reasoning

PROMISE：证明自动化作为人类推理的结构模仿

Youngjoo Ahn, Sangyeop Yeo, Gijung Im, Jongmin Lee, Jinyoung Yeo, Jieung Kim

专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.SE

AI总结 PROMISE通过结构化嵌入框架实现证明生成自动化，通过挖掘证明状态的结构模式提升大规模定理证明的可扩展性。