BriefGPT.xyz
Ask
alpha
关键词
meta-reasoning
搜索结果 - 6
挑战 LLMs 的推理能力：揭示 LLMs 中的认知深度的基准测试
我们引入了一种新颖的评估范式来评估大型语言模型，这种范式挑战了它们进行元推理。该方法解决了现有的数学问题解决基准测试中存在的关键缺陷，传统上用于评估代理的认知能力。我们的范式将重点从以结果为导向的评估转向更综合的评估，能够有效区分模型之间的
→
PDF
6 months ago
元推理：针对大型语言模型的语义符号解构
本文提出了元推理（Meta-Reasoning）的概念，通过符号解构，最大限度地将某些推理任务的不同问题转化为类似的自然语言表达式，从而使得大语言模型 (LLMs) 能够通过类比学习和促进数据有效的上下文学习，从而显著地提高推理能力，GPT
→
PDF
a year ago
可微元逻辑编程
提出了可以解决元推理问题的不同 iable 逻辑元解释器 (DLMI)。DLMI 采用可微分的前向推理方法来实现元解释器，从而可以在对象级推理和元推理之间进行切换，并能够自我学习。通过 “修复 Kandinsky 图案” 等实验任务，表明
→
PDF
2 years ago
AAAI
人类认知效率反映了计划信息处理
通过两个实验，本文将计划的计划表述为元推理问题，并用一个递归贝尔曼目标来形式化计划。 我们的研究成果在规划、状态抽象和认知控制方面提供了新的见解。
PDF
4 years ago
MM
selp: 一种单射迭代逻辑程序求解器
该研究介绍了一种将 Epistemic Logic Programs 转换成非地面（non-ground）ASP 的方法，并且在原型 ELP 求解系统 “selp” 上进行了实现和实验。
PDF
5 years ago
重新审视认识规范
本文重新审视认识规范的形式化方法，提出新的定义，并给出了多种语义，其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度，并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的
→
PDF
13 years ago
Prev
Next