BriefGPT.xyz
Ask
alpha
关键词
subgoal-based demonstration learning framework
搜索结果 - 1
分解恩格玛:基于子目标的演示学习用于形式定理证明
本文介绍了一个基于小目标的证明学习框架和扩散模型,成功地将证明的正确率从 38.9%提高到 45.5%,或者比长期的最先进方法提高了 5 倍的采样效率。
PDF
a year ago
Prev
Next