BriefGPT.xyz
Ask
alpha
关键词
undergraduate-level
搜索结果 - 1
ProofNet:自动形式化和形式证明本科数学
ProofNet 是一个面向本科级数学自动形式化和形式证明的基准,包括 371 个例子,目的在于推动自动形式化和自动定理证明的进步。 通过上下文学习实现了对陈述自动形式化的基线结果。同时,引入了两种新的陈述自动形式化方法:提示检索和精炼反向
→
PDF
a year ago
Prev
Next