CN120163213A 基于大语言模型的交互式定理证明系统及方法 .pdfVIP

  • 1
  • 0
  • 约1.84万字
  • 约 15页
  • 2026-05-09 发布于重庆
  • 举报

CN120163213A 基于大语言模型的交互式定理证明系统及方法 .pdf

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN120163213A

(43)申请公布日2025.06.17

(21)申请号202510255953.0

(22)申请日2025.03.05

(71)申请人江苏智能无人装备产业创新中心有

限公司

地址213300江苏省常州市溧阳市昆仑街

道码头西街618号28幢

(72)发明人刘翼范晶晶孟祥林陈畅

奚羽赵梦园徐锡芳肖山

陈涛蒋沅成

(74)专利代理机构苏州思睿晶华知识产权代理

事务所(普通合伙)32403

专利代理师吴碧骏

(51)Int.Cl.

G06N5/01(2023.01)

G06N5/

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档