formal-equivalence

标签

#formal-equivalence

超越求解器判定：用于自动形式化的生成式奖励模型

arXiv cs.LG ↗ · 2026-09-11 缓存

本文提出生成式验证（GenV），一种使用生成式奖励模型检测自动形式化中参考等价性失败的方法，解决神经符号系统的漏洞并提高验证准确性。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈