禁止大型语言模型胡编乱造,给点外部知识,推理靠谱的很
大型语言模型 (LLM) 已通过 In-context Learning 在各种复杂任务上展现出卓越的性能,并且无需针对特定任务进行训练或微调,近期 prompt 和解码方面取得的进展也使 LLM 解决复杂推理任务变成了现实。
然而,LLM 可能会存储过时、不全面或不正确的知识,要将 LLM 成功部署到实际应用中,外部知识来源(例如维基百科)至关重要。此前,人们尝试将知识用于较小的语言模型 (LM),例如 T5、BERT 和 RoBERTa,但这些方法通常需要额外的训练或微调,成本高昂,对于 LLM 来说完全不切实际。
基于此,来自罗彻斯特大学、腾讯 AI Lab 和宾夕法尼亚大学的研究者联合提出了一种称为 Rethinking with Retrieval (RR) 的后处理方法,以在 LLM 中利用外部知识。
论文地址:https://arxiv.org/pdf/2301.00303v1.pdf
该研究的思路是首先使用思维链 (chain-of-thought,CoT) prompting 方法生成一组不同的推理路径,类似于 Wang et al. (2022) 的方法。然后该研究使用这些路径中的每个推理步骤来检索相关的外部知识,让 RR 方法可以提供更合理的解释和更准确的预测。
该研究使用 GPT-3 175B 和几种常见的外部知识源(维基百科、维基数据、WordNet 和 Conceptnet)来评估 RR 方法在三个复杂推理任务上的有效性,包括常识推理、时序推理和表格推理。实验结果表明,无需额外的训练或微调,RR 在这三项任务上始终优于其他方法,这表明 RR 方法在利用外部知识来提高 LLM 性能方面具有很大优势。
利用检索进行重新思考
实际上,尽管 LLM 已准确捕捉了回答问题所需的要素,但这些模型有时还是会生成错误的结果。这种现象说明 LLM 存储和检索知识的方式存在一些问题,包括:
- 预训练语料库中存在过时、不正确或缺失的相关知识;
- 预训练时对相关知识的存储有误;
- 推理阶段对相关知识的错误检索。
RR 方法的大致思路如下:给定一个输入问题 Q,RR 方法先利用思维链(chain-of though)prompting 生成一组不同的推理路径 R_1、R_2、……、R_N,其中每个推理路径 R_i 由解释 E_i 和跟在其后的预测 P_i 组成,然后再从合适的知识库 KB 中检索相关知识 K_1、……、K_M 来支持每个推理路径中的解释,并选择最符合该知识的预测。
思维链(CoT)prompting。与标准 prompting 明显不同,CoT prompting 包括在 prompting 中进行分步推理实例演示来生成一系列捕获推理过程的短句。
例如,给定输入问题:「亚里士多德使用笔记本电脑吗?」CoT prompting 旨在生成完整的推理路径:
CoT prompting 的推理过程为:「亚里士多德死于公元前 322 年。第一台笔记本电脑于 1980 年发明。因此,亚里士多德没有使用笔记本电脑。所以答案是 no。」而非简单地输出「No」。
对不同的推理路径采样。与 Wang et al. (2022) 相似,该研究对一组不同的推理路径 R_1、R_2、……、R_N 进行了采样,而不是像 Wei et al. (2022) 那样只考虑最优比例路径(greedy path)。对于「亚里士多德是否使用笔记本电脑?」这一问题,可能的推理路径如下:
(R_1) 亚里士多德死于 2000 年。第一台笔记本电脑发明于 1980 年。因此,亚里士多德使用过笔记本电脑。所以该问题的答案为是。
(R_2) 亚里士多德于公元前 322 年去世。第一台笔记本电脑发明于 2000 年。因此,亚里士多德没有使用过笔记本电脑。所以答案为否。
知识检索。不同的知识库可以用来处理不同的任务。例如,为了解决「亚里士多德使用笔记本电脑了吗?」这个问题,我们可以使用维基百科作为外部知识库 KB。信息检索技术可用于基于分解的推理步骤从维基百科中检索相关知识 K_1、……K_M。理想情况下,针对此问题我们可以从维基百科中获得以下两段内容:
(K_1) 亚里士多德(公元前 384 至公元前 322 年)是古希腊古典时期的希腊哲学家和博学大师
(K_2) 第一台笔记本电脑 Epson HX-20 于 1980 年发明……
忠实的推理。我们可以使用函数 f_KB(R_i)来估算每个推理路径 R_i 的置信度,该函数建立在从知识库 KB 检索的相关知识 K_1、……、K_M 基础之上。最终的预测可以通过运用以下推断过程来获得:
实验评估
本节中,该研究介绍了 RR 在三个复杂推理任务上的评估:常识推理、时序推理和表格推理。
实验设置。在所有实验中,除非另有说明,该研究都使用 GPT-3 text-davinci-002。实验完成期间生成的最大 token 数量被设置为 256,zero-shot、few-shot 以及 chain-of-thought prompting,温度参数(temperature)固定设置为 0。
结果。如表 1 所示,本文提出的方法 RR,在所有三个推理任务上始终优于所有基准,而无需额外的训练或微调。这些结果凸显出了 RR 在利用外部知识提高 LLM 表现方面的有效性。
该研究在 StrategyQA 数据集上展示了带有 CoT prompting 方法的关于 GPT-3 的分析。在仔细检查 GPT-3 的输出后,该研究观察到 RR 可以为许多问题提供合理的解释和正确的预测。例如,当给出「佐治亚州的奥尔巴尼会在纽约州的奥尔巴尼之前先达到十万名住户吗?」这个问题时,GPT-3 产生了以下输出:
总体来看对于问题的输出答案质量很高。然而,该研究也观察到 GPT-3 可能偶尔会为其解释提供不正确的事实支持,或为其预测做出不正确的推理,尽管它通常能够识别出合适的观点。
错误的支持事实。如表 2 所示,GPT-3 为 Lil Jon 在 Billboard 榜单中排名最高的歌曲提供了错误的事实支持,指出排名最高的歌曲是 Get Low 而非正确答案 Yeah。另外,GPT-3 还做出了错误的推理,即富士山的山顶不会高于日本海,而不是正确答案会高于。
更多技术细节请参阅原论文。
以上是禁止大型语言模型胡编乱造,给点外部知识,推理靠谱的很的详细内容。更多信息请关注PHP中文网其他相关文章!

热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

记事本++7.3.1
好用且免费的代码编辑器

SublimeText3汉化版
中文版,非常好用

禅工作室 13.0.1
功能强大的PHP集成开发环境

Dreamweaver CS6
视觉化网页开发工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

热门话题

想象一下,一个人工智能模型,不仅拥有超越传统计算的能力,还能以更低的成本实现更高效的性能。这不是科幻,DeepSeek-V2[1],全球最强开源MoE模型来了。DeepSeek-V2是一个强大的专家混合(MoE)语言模型,具有训练经济、推理高效的特点。它由236B个参数组成,其中21B个参数用于激活每个标记。与DeepSeek67B相比,DeepSeek-V2性能更强,同时节省了42.5%的训练成本,减少了93.3%的KV缓存,最大生成吞吐量提高到5.76倍。DeepSeek是一家探索通用人工智

AI,的确正在改变数学。最近,一直十分关注这个议题的陶哲轩,转发了最近一期的《美国数学学会通报》(BulletinoftheAmericanMathematicalSociety)。围绕「机器会改变数学吗?」这个话题,众多数学家发表了自己的观点,全程火花四射,内容硬核,精彩纷呈。作者阵容强大,包括菲尔兹奖得主AkshayVenkatesh、华裔数学家郑乐隽、纽大计算机科学家ErnestDavis等多位业界知名学者。AI的世界已经发生了天翻地覆的变化,要知道,其中很多文章是在一年前提交的,而在这一

波士顿动力Atlas,正式进入电动机器人时代!昨天,液压Atlas刚刚「含泪」退出历史舞台,今天波士顿动力就宣布:电动Atlas上岗。看来,在商用人形机器人领域,波士顿动力是下定决心要和特斯拉硬刚一把了。新视频放出后,短短十几小时内,就已经有一百多万观看。旧人离去,新角色登场,这是历史的必然。毫无疑问,今年是人形机器人的爆发年。网友锐评:机器人的进步,让今年看起来像人类的开幕式动作、自由度远超人类,但这真不是恐怖片?视频一开始,Atlas平静地躺在地上,看起来应该是仰面朝天。接下来,让人惊掉下巴

本月初,来自MIT等机构的研究者提出了一种非常有潜力的MLP替代方法——KAN。KAN在准确性和可解释性方面表现优于MLP。而且它能以非常少的参数量胜过以更大参数量运行的MLP。比如,作者表示,他们用KAN以更小的网络和更高的自动化程度重现了DeepMind的结果。具体来说,DeepMind的MLP有大约300,000个参数,而KAN只有约200个参数。KAN与MLP一样具有强大的数学基础,MLP基于通用逼近定理,而KAN基于Kolmogorov-Arnold表示定理。如下图所示,KAN在边上具

谷歌力推的JAX在最近的基准测试中性能已经超过Pytorch和TensorFlow,7项指标排名第一。而且测试并不是在JAX性能表现最好的TPU上完成的。虽然现在在开发者中,Pytorch依然比Tensorflow更受欢迎。但未来,也许有更多的大模型会基于JAX平台进行训练和运行。模型最近,Keras团队为三个后端(TensorFlow、JAX、PyTorch)与原生PyTorch实现以及搭配TensorFlow的Keras2进行了基准测试。首先,他们为生成式和非生成式人工智能任务选择了一组主流

特斯拉机器人Optimus最新视频出炉,已经可以在厂子里打工了。正常速度下,它分拣电池(特斯拉的4680电池)是这样的:官方还放出了20倍速下的样子——在小小的“工位”上,拣啊拣啊拣:这次放出的视频亮点之一在于Optimus在厂子里完成这项工作,是完全自主的,全程没有人为的干预。并且在Optimus的视角之下,它还可以把放歪了的电池重新捡起来放置,主打一个自动纠错:对于Optimus的手,英伟达科学家JimFan给出了高度的评价:Optimus的手是全球五指机器人里最灵巧的之一。它的手不仅有触觉

目标检测在自动驾驶系统当中是一个比较成熟的问题,其中行人检测是最早得以部署算法之一。在多数论文当中已经进行了非常全面的研究。然而,利用鱼眼相机进行环视的距离感知相对来说研究较少。由于径向畸变大,标准的边界框表示在鱼眼相机当中很难实施。为了缓解上述描述,我们探索了扩展边界框、椭圆、通用多边形设计为极坐标/角度表示,并定义一个实例分割mIOU度量来分析这些表示。所提出的具有多边形形状的模型fisheyeDetNet优于其他模型,并同时在用于自动驾驶的Valeo鱼眼相机数据集上实现了49.5%的mAP

这篇论文探讨了在自动驾驶中,从不同视角(如透视图和鸟瞰图)准确检测物体的问题,特别是如何有效地从透视图(PV)到鸟瞰图(BEV)空间转换特征,这一转换是通过视觉转换(VT)模块实施的。现有的方法大致分为两种策略:2D到3D和3D到2D转换。2D到3D的方法通过预测深度概率来提升密集的2D特征,但深度预测的固有不确定性,尤其是在远处区域,可能会引入不准确性。而3D到2D的方法通常使用3D查询来采样2D特征,并通过Transformer学习3D和2D特征之间对应关系的注意力权重,这增加了计算和部署的
