BriefGPT.xyz
Ask
alpha
关键词
formal logic verification
搜索结果 - 1
RealCQA: 科学图表问答作为一阶逻辑的测试平台
我们在真实世界的图表中对图表视觉问答任务进行了全面的研究,提出了一种基于模板的图表问题创建的新型分类法,并引入了一个包含新答案类型的数据集,从而为模型的一阶逻辑能力评估提供了一个标准,该研究通过对真实世界超出分布的数据集的实验结果,对大规模
→
PDF
a year ago
Prev
Next