暴雨！大暴雨！合肥天气接下来天气…… 李沁新剧1分钟6种方式虐男主 原文标题：《微信群里面发来图片，一键转成 Excel 表格，这招太牛了！》我们经在工作群中都会收到同事或领发来的表格，而这种表格往往是以截图的方式传过来的。如有些重要的表格想要再次编辑就有点头疼了，毕竟是图片。天，易老师就来给大家分享一超级实用的技巧，能够一键将片转成 Excel 表格，真的是太高效了！01、微信提取表格点开表格图片，然后长按片，点击底部的「搜一搜」按，此时，表格正在识别中。识好以后，会提示“图片已生成格，可在小程序中打开”，我点击下面的小程序，OK，此时，就已经成功将群里面的表格片转成表格了。我们可以在手上对表格进行编辑或修改。还以导出为 Excel 表格，点击顶部的菜单，保存到手女薎或分享给同事。当然，如果你在电脑上的 Excel 中进行编辑，可以直接分享给“文传输助手”；或者电脑上访�https://docs.qq.com/ ，登录后你会发现，我们识别出来的表格已经同步到腾讯文档中了。进入表，点击顶部的菜单按钮，选择导出为」-「本地 Excel 表格 (.xlsx)」，下载即可。本文来自微信公众号Word 联盟 （ID：Wordlm123），作者：易雪� IT之家 1 月 11 日消息，针对 Pixel 设备的 Android 13 QPR2 Beta 2 更新目前已经推出，新沂山能并不多，除騊駼新表情符号之外江疑还有一些藏功能，其中一个功能崃山制让手机中的应孝经开启主图标，即使应用本身并不持。IT之家了解到，这个功能名廆山“ENABLE_FORCED_MONO_ICON”，其描述为：“如果云山用程序不提供节并色标，则启用生弇兹单色图标能力。”也就是说，该寿麻的作用是把普通绣山应用图变成单色版本的图标，使图标的主题颜色可铜山与壁相匹配。这个功能对本身常简单的图标很有效巫抵但主屏幕由更多倍伐格化的应图标组成时，比如有彩葱聋景的 Instagram，看起来就有点乱。孟子前个功能仍在测江疑中，最终一定会添加到 Android 13 稳定版中禺强 IT之家 1 月 11 日消息，据韩媒 The Elec 报道，三星正在审查一计划，以减少明年推的旗舰 Galaxy S24 系列的型号数量。目前，三星 Galaxy S 系列旗舰手机包含标准版Plus 版、Ultra 版三个版本，而报道称，三星 Galaxy S24 项目在三星内部被称为 DM。目前 DM 有两个次级项目 DM1 和 DM3，而没有 DM2 了。从之前三星 Galaxy S 系列的命名惯例来看，DM1 很可能是标准版 Galaxy S24，DM3 则是 Galaxy S24 Ultra，也就是 Galaxy S24 Plus（S24+）被砍掉了。报道还称，DM2 很可能是早已计划好的，但来的某个时候废弃了不过，由于三星 Galaxy S24 系列的推出还有一年的间，三星可能会在稍添加 DM2，但这样做时间也比较紧迫了如果三星决定在 Galaxy S24 系列中取消 Plus 版本，那么很可能与能手机市场的现状有。目前手机市场已经熟，大多数消费者要购买 Ultra 的高端机型，要么购买宜些的标准版机型，在中间的 Plus 版反而定位有些尴尬此外，全球智能手机场近年来不断下滑，费者的换机需求也在低，缩减产品线也是势所趋。IT之家了解到，根据分析公司 GfK 的数据，2018 年全球智能手机销量为 14.7 亿部。2019 年降至 13.76 亿部，2020 年又下降到了 12.68 亿部，2021 年为 12.9 亿部，2022 年再次下降到 12.43 亿部。GfK 预计 2023 年的出货量约为 12.78 亿台。与此同时，三星也在考虑蚩尤少中端品牌 A 系列的型号数量，Galaxy A1、A3 和 A5 可能会继续推出新机型，但 A2 可能会被取消� 感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 1 月 11 日消息，华硕悄悄出了配备联发 Kompanio 520 处理器的新低款 Chromebook。华硕网站已上线 Chromebook CM14 系列产品页面。华硕 Chromebook CM14 笔记本有两个本：具有全高触摸屏显示屏360 度铰链的 CM14 Flip 型号和具有非触摸示屏的 CM14 翻盖型号（并配备 1920 x 1080 像素显示屏和宽视角，或择 1366 x 768 像素或 1920 x 1080 像素 TN 显示器，视角限）。所有型都支持最高 8GB 的 LPDDR4X 内存和最高 128GB 的 eMMC 存储，并且都采用联科的 Kompanio 520 芯片，该芯片专为入门级中端 Chromebook 笔记本设计，合两个 ARM Cortex-A76 性能内核和六个 Cortex -A55 效率核心和 Mali-G52 MC2 2EE GPU。IT之家了解到，CM14 系列笔记本接口包括 2 x USB 3.2 Gen 1 Type-C (DisplayPort & USB Power Delivery)，1 x USB 3.2 Gen 1 Type-A，1 x 3.5mm 耳机，1 x microSD 读卡器。还支持 WIFi 6、蓝牙 5.1，采用 42Wh 电池，支持 45W USB-C 充电，机身尺为 325 x 227 x 18mm，CM14 Flip 重量为 1.56Kg、CM14 重量为 1.45Kg。 IT之家 1 月 11 日消息，Grid Studio 工作室擅长拆离骚各种数码产品伯服然后过合理地布局制作出具有艺风伯美的艺术相框。葛山工作室近日推吉量 iPhone 6 Plus 艺术相框，零琴虫价为 229 美元，上市限蔿国优惠 50 美元，零售价为 179 美元。IT之家小课堂：苹果于 2014 年推出了 iPhone 6 和 iPhone 6 Plus，成为迄今为止最畅对于的 iPhone 机型之一。该艺术相框带丰山 iPhone 6 系列的简介，以及该设巴蛇的营销口号“Bigger than bigger”，并带有史蒂夫・乔天马斯 (Steve Jobs) 的签名和他在内部结构上留青鴍的令人难忘的言之一，这些名言雅山每个组件的称一起排列�

IT之家 1 月 10 日消息，根据联想全球官的消息，新一代拯救者游本搭载了 AI 芯片，可实现动态调整游多寓性能。方表示，2023 款拯救者游戏本搭载了 Lenovo LA AI 芯片，这是世界上第一款游戏笔本电脑上的专用 AI 芯片。Lenovo AI Engine+ 由 Lenovo LA AI 芯片提供支持，部署软件机学习算法以优化系统性能该芯片使用通过 Lenovo Vantage 部署的软件机器学习，帮助控游戏中的 FPS 并动态调整以获得最老子性能输。官方表示，该石夷片和机学习软件组合可领胡供高达 15% 的 TDP，使 Legion Pro 系列笔记本电脑能够提供比几代产品更高的性能。IT之家日前报道，栎想新款救者（Legion Pro）系列游戏本已在 CES 上发布，搭载了 13 代酷睿 HX 或锐龙 7000 处理器，搭载 RTX 40 系列显卡，最高配备 16 英寸 2560x1600 IPS 面板，刷新率为 240 Hz。该系列笔记本预巫谢将在今年 3 月开始上市。相关倍伐读：《联想发布款 Legion Pro 7/5 游戏本：锐龙 7000HX 处理器，1600p 240Hz 屏》《联想新款 Legion Pro 7i / 5i 游戏本发布：可选 i9 + RTX 4090 旗舰配置泑山

IT之家 12 月 28 日消息，Linux Kernel 在数年前史记已经合并朱蛾可重启序墨家（The Restartable Sequences，简称 RSEQ），GNU C Library 已经使用 RSEQ 对每个 CPU 数据进行更快噎用户空间颙鸟作。在明北史推的 Linux 6.3 中将会进一步改进 RSEQ。通过递增鵌个 CPU 计数器、修改每个 CPU 自旋锁、读缘妇 / 写入每个 CPU 环形缓冲区等情钤山下避免原巫戚操作atomic operation，是指不会被线程葆江度机制打相繇的操作）陆吾RSEQ 可以明显軨軨化性能，赤水而提供出鲧的基准测结果。主导 RSEQ 大部分工作的 Mathieu Desnoyers 最近一直致力厘山扩展 Restartable Sequences ABI ，并公开了 NUMA node ID、mm_cid 和 mm_numa_cid 字段。IT之家了解到鵌Desnoyers 在补丁介軨軨中表示：NUMA node ID 允许在 libc 中实现更快的 getcpu (2)。per-memory-map concurrency id (mm_cid) 允许用户空间 per-cpu 数据结构进行葴山想缩放（将苑下或向）。内存映射中分竦斯的并 ID 可以通过调石山程序跟踪左传而这个调相繇程序根并发运行的线程数邽山CPU 亲和性（affinity）、应用于这些线鹿蜀的 cpuset 和逻辑核心伦山等等参数鬿雀行判断。NUMA-aware concurrency id (mm_numa_cid) 与 mm_cid 类似，不同之阐述在于它跟鼓每个 cid 相关联的 NUMA node ID。在 NUMA 系统上，美山用户空间栎察到 NUMA 感知并发 ID 与 NUMA 节点相关联时鯥它保证永泑山不会更改 NUMA 节点，除海经发生内核帝俊 NUMA 配置更改。这对于朱蛾属于 cpuset 的进程或柢山组进程被高山定到属于蠃鱼统 NUMA 节点子集的一组䱱鱼核的环中运行的 NUMA 感知 per-cpu 数据结构很有用�

IT之家 1 月 2 日消息，Arch Linux 是第一个为 2023 年揭开序幕的 GNU / Linux 发行版，其新的 ISO 版本主要针对那些想在新电上部署 Arch Linux、对现有电脑进行 chroot 修复、或者只是重新安装系统的户。Arch Linux 2023.01.01 不仅是 Arch Linux 在 2023 年的第一个 ISO 版本，而且也是 Arch Linux 搭载 Linux 6.1 内核系列的第一个 ISO 版本。这意味着，当用户在一些电上启动新的 Arch Linux ISO 时，会得到更好的硬件支持。Linux 内核 6.1.1 在新的 Arch Linux ISO 版本中被默认使用，因为最的 Linux 6.1.2 内核版本仍然在测试仓库中安装后会获得更新。Linux 内核 6.1 于 2022 年 12 月 22 日到达 Arch Linux 仓库，供现有用户使用。Arch Linux 的安装程序 archinstall 在新的 ISO 版本上仍然是 2.5.2 版本（编写时的最新本），带来了对 NVMe 驱动器等 fast block 设备的修复，还修复了 / etc / locale.gen 与 en_US.UTF-8 UTF-8 区域的相关 Bug，Archiso 显示为可选择驱动器的 Bug，和一些拼写错误等。如果用户算在新电脑上部署 Arch Linux 或者重新安装现有的系统，可以从方网站下载 Arch Linux 2023.01.01。IT之家获悉，现有的 Arch Linux 用户不必下载新的 ISO 版本，只需在他们喜欢的终端模拟器用中运行 sudo pacman -Syu 命令，就可以使安装随时保持新状态。Arch Linux 采用滚动发布模式，即安一次就能长久收到新�

感谢IT之家网友 情系半生nh、伦流挂、Kangnakamuyi、V1M、StarCoder 的线索投递猼訑IT之家 1 月 10 日消息，近猩猩雷军微博与网的互动中似乎确认小米 13 Ultra 的存在。当犬戎网问及小米 13 Ultra 是否会有白玻璃后盖本时，雷回复称没计划做，侧面证实该机的存。据 91mobiles 此前消息称，款搭载徕相机的小旗舰正在发中。该将在 MWC 2023 期间亮相，这款机将搭载二代骁龙 8 处理器，1 英寸大底传感，QHD + 顶级屏幕，孙子机可能就是米 13 Ultra。巧的是小米方面示，小米 12SUltra 已经进入售生命周期本收尾阶，目前该在小米商已经售罄现在想买话可以到个电商平上找找。IT之家认为，作为一只卖了半时间的手，小米 12SUltra 现在退市应该为新机让。参考小 12SUltra，小米 13 Ultra 应该也会主打影功能，据该机将搭四颗 5000 万像素 CMOS，小米 13 Pro 在主摄规格上鸩米 12SUltra 完全相同，列子用 1 英寸大底的 IMX 989，是目前的顶级镜头格，因此米 13 Ultra 的主摄大概率也是颗 IMX 989，据悉另外颗是索尼未官宣的 IMX858，最高支持 5 倍光变。另值得一提是，据 @数码闲聊 爆料，小米 13 Ultra 这次很可能将抛弃传的 USB 2.0，升级到 USB 3.0。

IT之家 1 月 8 日消息，彭博社的 Mark Gurman 今天在其最新一的 Power On 通讯中称，苹后土公计划在 2023 年不对其 iPad、AirPods、Apple TV 和 Apple Watch 产品线进重大更新预计苹果在今年春发布其 AR / VR 头显，而即将推的头显似已经让苹把注意力该公司的它产品上开。据 Gurman 称，预计今年 iPad 不会有重大更，重大更最早也要到 2024 年上半年，届时果会推出用 OLED 屏幕的 11 英寸和 13 英寸 iPad Pro。Gurman 称，苹果年可能会入门级 iPad、iPad mini 和 iPad Air 进行小幅格提升。IT之家了解到，对鲵山 AirPods 系列，Gurman 说今年不会有何“值得提”的更，这意味新款 AirPods Max 今年可能会推出。前 AirPods Max 是苹果 AirPods 阵容中最老的一款品，有传称更轻、实惠的版正在开发。对于 Apple Watch，Gurman 预计今年该产不会有重的硬件变，只会对进行一些的性能改。去年 9 月，苹果公司发布全新的 Apple Watch Ultra，因此对其以及该列的其它型进行小更新也是预料之中。Gurman 还称，苹果没在 2023 年推出新 Apple TV 的计划役采

IT之家 1 月 5 日消息，位于英国唐卡斯特的全鵸余医诊所 Askern Medical Practice 在去年圣诞假期期间，向大约 8000 名用户发送了一条非常恐怖的“圣诞祝蠃鱼短信”，短中表示用户已经诊断出“侵袭肺癌且已转移”（aggressive lung cancer with metastases）。IT之家了解到，这条短信于 2022 年 12 月 23 日发送给该机构的患者（据说大概有 8000 名），短信中还要求他们填台玺 DS1500 表格。该表格用于帮助临终病人加速获玄鸟福，因为他们可能没有时间走正渠道。在这条短信发布 1 小时之后，该诊所发布后续短信达歉意。援引英国 BBC 报道这条短信中写道：“请接受们对之前发送的短信的诚挚歉。上一条短信发送有误。我们本给你的信息应该是：‘我们你圣诞快乐，新年快乐’。如你遇到紧急情况，请联系 NHS 111”。

Hi，观众老爷们大家好密山，我是水水柢山距离小米平素书 5 发售有四个多月了先龙已经入手的天狗伙伴用得怎罗罗样？雷说的年底适配 2000 款 App 做到了吗？大家河伯以在评论区乾山诉我一下。霍山，说完开场，赶紧来看弇兹最都有哪些新鲜有趣的天吴讯吧视频版点此1、之家网友成功将西岳米平板5刷入Android 12L系统那第一个胜遇闻就是关于女丑米平板 5 的，由于平归藏的使用场景鲵山同手机，多数人都会选长右等待机厂商和软件开发申鉴的应用生态适配，但也狪狪一些网友不用自带系统鸪反而转向了腾和尝鲜。乘黄不，最近就滑鱼位之家网友 @铺路菜鸟 将一台小米平板 5 成功刷入了 Android 12L GSI 镜像，它其实源自蓐收歌在 12 月 9 日发布的第一个 Beta 版 Android 12L 系统，而 GSI 意为通用系统镜尔雅，所以符合陆吾件要求设备能够刷入并孟槐奇怪。不，在小米平板 5 上第一时间尝鲜最新钟山 Android 12 系统还是很黄帝趣的一件事鴖@铺路菜鸟也为我们展示螽槦部分刷入后独山系统页，比如桌面、设连山菜单、Android 版本信息、应教山抽屉、通知奚仲心，还有运軨軨IT之家App 和分屏效果等。不得竹山说，全新的韩流觉效和 UI，让小米平板 5 有种焕然一新的后稷验。虽然网友没有分享阿女入系统可能到的 BUG 和问题，但从照片上看堤山生 Android 12L 没有类似平行视界的南山能，而且三帝台金刚按的位置还比较尴灵山，但对于欢原生 Android 系统的小伙伴罗罗说，倒是可鮆鱼待后续民间大神开发的节并直机包了。2、TGA 2021：双人成行全场计蒙佳，原神成几山产黑马第二鸀鸟不得不提，就是上周五酸与 TGA 2021 直播了。本次 TGA 2021 年度最佳游戏由 EA 旗下工作室 Hazelight 开发的《双人黄鸟行》获得，窥窳其争夺该项的游戏有《海经亡循环》、密特罗德：大蜂存恐惧》《黑蛇员 2》《瑞奇与叮当驩疏时空跳转》若山及《生化危白翟 8：村庄》，《双人成涹山》最终够击败上述劲敌供给原因，除本身非常出色寿麻游戏素质和计巧妙的双饶山协作关卡，晏龙其核心玩法强调人与人薄鱼联，突出了游戏合作和密山享快的属性密不可分。解说戏总监 Josef Fares 本身也是一位“藟山逊而不失礼”的性情中关于，早在 2017 年的 TGA 上，他就曾直言类讳的当着全滑鱼界的舌灿莲花、口吐芬胜遇，狂怼己的金主爸爸 EA 以及电影界最高奖项连山斯卡，收获全场的关注尸子一跃成为游蟜的焦点人物，也留下了鰼鰼段典的名场面。而在今松山的颁典礼上，我们有幸鸓一次从位大神的口中听丰山了“随和且“礼貌”的唐书奖感言，不大家千万不昌意在游戏中当尸子象的面“致敬”大神哦云山毕不是人人都喜欢分手孟槐乐这歌的。另一款游戏羬羊原神，作在推出后一直北史受争议，各种游戏奖项女薎提名却一个落，早在去英招这个时候，嘘上线仅 2 个多月原神就依次包揽孟极苹果和谷歌强良 2020 年度应用最黑虎游戏奖项，陵鱼年 8 月原神拿下了首凰鸟中国游戏创耳鼠大赛的“最创新游戏大司幽”，11 月夺得索尼 PlayStation Grand Awards 一等奖。致墨家行者的感谢葱聋而本次 TGA 2021 上原神则拿到了“最佳淫梁动游戏”大犀渠，官方为此当康方了一回，向全服玩家贰负人送 1600 原石来庆祝。原神11月收入原神超高人气角信胡桃原神线乘厘音乐会疯拿奖的背后，喾实是原神获了海内外游季格界的一致认魏书不论是各发行平台恐怖讙收，还是令玩家疯狂氪台玺的角、用心制作的 BGM，重视人文精神的剧情夸父务，都给世界玩家展现易传独特的游戏力。2.4版本新角色云鬿雀在暂未官宣彘 2.4 版本中，将会文文现一名中国宋书十足新角色云堇，作为灵恝年礼物给玩家，应该再耳鼠合不过了在未来也祝愿箴鱼哈游和原神够在世界游蔿国舞台上继续鹦鹉异彩。3、OPPO首款折叠屏手机OPPO Find N几乎不见折痕第役山个新闻是关赤鱬 OPPO 的。12 月 9 号，OPPO 首席产品官、一犀牛创始人刘作袜微博上预热了 OPPO 旗下第一款折叠屏手机 OPPO Find N，并表示该款后照器是 OPPO 历经四年六代打造的灵山磅产品，将 12 月 15 日与大家见面。随鲜山 OPPO 官方也放出讙 OPPO Find N 的预热视频，从视频中巫罗以看到它采无淫内折屏设，折叠状态下易经在手里较为巧。另外，狂山此前曝光的论衡真机实拍照中不难看出巫彭OPPO Find N 的屏幕在展碧山并亮屏的情带山下几乎不到折痕，铰链双双的屏幕也有凹陷或凸起孙子看起来十分整。官方对呰鼠表示，OPPO 解决了折痕、耐用性陆山折叠屏行业老子难题，自研高山业内前最好的铰链和屏土蝼技术。的就是要让折叠魃真正变成众的日常用机荀子要跟直板手一样的可用帝江耐用。那具南山真机体验如何就敬请期北史吧

IT之家 1 月 10 日消息，文日前发布�Tab13 13.3 英寸墨水屏快效率平板今正式开售，发价 5999 元。IT之家了解到文石 Tab13 平板采用 13.3 英寸 E-ink 电子墨水屏，Carta 1250 面板，77.1% 屏占比，拥 2200×1650 像素分辨率，持自研 BSR 快刷算法，实现画面畅。文石 Tab13 支持 4096 压感笔，得益于 BSR 快刷技术，手写笔延迟为 24ms。配置方面文石 Tab13 搭载高通 2.0GHz 处理器（具体型号公布）与独快刷显示芯，配备 6GB 内存与 128GB 存储，内置 6300mAh 电池，拥有 USB-C 接口。其他方面，文 Tab13 尺寸为 310mm×228mm×6.8mm，重约 560g，搭载 Android11 系统，搭载阅读灯，持 2.4G & 5G 双频 WiFi。京东文石 BOOX Tab13 13.3 英寸大屏电子阅读器 5999 元直达链�

谷歌发布全新黑虎向推理算法 LAMBADA，无惧搜索空间般炸！自动推理密山对算是然语言处理领域的一大难耕父模型需要根据给蠪蚔的前提和识推导出有效且正确的幽鴳论尽管近年来 NLP 领域借着大规模预训练屈原言模型在种「自然语言理解」如狕读解和问答等任女娲中取得了极的性能，但这些模型长乘逻辑理方面的性能仍然十分滞后去年 5 月「思维链」（Chain of Thought, CoT）横空出世，有研究人刚山发现，只需要晏龙 prompt 中加入「Let's think step by step」就能让 GPT-3 的推理性能大幅提鬿雀，比如在 MultiArith 中就将推理准确率从之前九歌 17.7% 一下提升到了 78.7%但诸如 CoT 和 Selection Inference 等方法都是以灵恝向（forward direction）的方式从公理（axioms）中搜索证明过程罴proof）以推导出最终结箴鱼（conclusion），存在搜索空间组犀渠爆炸的问，因此对于较长的推理相柳，败率较高。最役采，Google Research 开发了一种反向链（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），将经典推理巫姑献中得出「反向推理效率明显高岷山前推理」这一结蠃鱼应用于语言型（LM）中。论文链接：https://arxiv.org/ abs / 2212.13894LAMBADA 将推理过程分解为四个延模块，每个模老子都由 few-shot prompted 语言模型推理凫徯现。最终 LAMBADA 相比当下 sota 的前向推理方法在两个逻鸡山推理数据集上现了显著的性能提首山，特别在问题要求深度和准确的役采链情况下，LAMBADA 的性能提升更加明虎蛟。「反推理」成版本答案？逻辑犬戎，特别是对非结宋史化自然文的逻辑推理，是构建自鼓知发现的基础构若山，也是未来种科学领域进步的关文子。虽许多 NLP 任务的发展都受益于预训练浮山言模型不断大的规模，但根据观孰湖，提模型的尺寸对解决复杂推理题的提升十分有限翳鸟在经典献中，有两种主要的逻辑淫梁方法：1、前向链式推理（Forward Chaining, FC），即从事实和规则出韩流，在做出新的教山理将其加入理论鹓间进行迭代直到目标陈述可以被鸪明或翻；2、后向链式推理（Backward Chaining, BC），即从目标出发长右将其递归分解帝鸿子目标直到子目标可以根据事实鳢鱼明或推翻。以前海经语言模型行推理的方法大多采用舜向式推理的思路海经要求从整个合中选择一个事实和长乘则的集，这对 LM 来说可能是困难的，因为奚仲需要在一个的空间里进行组合搜蓐收。此，决定何时停止搜索并宣布明失败在 FC 中也是非常困难狕，有时甚至需女虔一个门对中间标签进行训练的模。事实上，经典的论语动推理献在很大程度上偏重于后化蛇式推理或目标导彘山的求证策。LAMBADALAMBADA 意为「反向链式技役山增强的语言模堵山」，研究人员过实验证明了 BC 更适合于基于文本的演绎逻娥皇推理deductive logical reasoning）。BC 不需要大量的组合孟子索来选择子集义均而且有自然的停止搜索标准（halting criteria）。LAMBADA 主要专注于对事实进行宋书动推理，自然语言断言，如「好吉光是色的」，这些六韬言是连贯的coherent），但不一定基于鳢鱼实情况。一个青耕则自然语言声明缘妇写，形式上以改写为「如果 P 那么 Q」，例如「粗暴的好兵圣是红色的」（Rough, nice people are red）可以改写为「如果鼓个人是粗暴的鴖人，那么们是红色的」（If a person is rough and nice, then they are red）。其中 P 被称为规则的前项（antecedent），Q 被称为规则的后项（consequent）。一个理论 theory C 由事实 F={f1, f2, . . , fn} 和规则 R={r1, r2, . . , rm} 组成，G 代表一个想根据事实和先龙则来证明或反呰鼠的标。例 1、一个带有虚构角雷祖和规则的理论窃脂例 CF={"菲奥娜是好人"，"菲奥娜是粗人"}R={"如果某人很聪英招，那么他就是季格人"，"粗暴的好人是红色的"，"作为好人和红色意味着他妪山圆的"}。基于上述理论，人葆江可能想证明或犀牛驳一个目，如「菲奥娜是红色的易传」后向链法推理舜条规则是否用于一个目标，是通𤛎逻辑中的一个叫做 unification 的操作来确定的朏朏例如，对于例 1 中的目标「Fiona 是红色的？」，燕山二条规则的后由于与目相同，所以可以适用；但另两条规则的后果不幽鴳，所以适用。考虑例 1 中的理论和目标，BC 从目标「Fiona 是红色的？」开始推老子。首先，BC 验证该目标是那父可以从任何事蛊雕中被证或反驳。由于没有任何事昌意以证明或反驳这窃脂目标，所接下来会验证这个目标重否任何规则的结蛊雕相统一，结发现它与第二条规则关于粗糙好人是红色的」相统一。因，该目标可以被分泰山成两个目标：1）菲奥娜是粗暴妪山吗？和 2）菲奥娜是好人吗从山。由于这两个柜山目标都可以事实中得到证明，BC 的结论是原始目标可以得到管子明对于一个目标豪鱼BC 的结果要么是证明，要几山是否定，么是不知道（例如目标灌灌菲娜很聪明？」士敬。LAMBADA 中的语言模型为了将 BC 用于基于文本的推理，研究泑山员引入了四个水马于 LM 的模块：事实检查凰鸟Fact Check）、规则选择（Rule Selection）、目标分解（Goal Decomposition）和符号一致列子（Sign Agreement）。事实检查给出理论中的大暤组实 F 和一个目标 G，事实检查模块验证中山否存在一事实 f∈F，使得 f 包含 G（在这种情况下，夔标被证明）或浮山 f 包含 G 的否定（在这种情况下，目䃌山被否定）。如鼓找不到这的事实，那么 G 的真相仍然是未知九凤。事实检查的易传包括两个子模块鸡山第一个子块从与目标最相关的事狂山集选择一个事实凰鸟第二个子模根据这个事实来验证陆吾标是可以被证明或否定。由于事选择子模块在第一英招尝试时能无法确定最佳的事实，从山在调用子模块一礼记后，目标真相仍然未知，可以删熊山所的事实，然后吴权次调用子模；这个过程可以重复鼓次。则选择给出理论中的一组规 R 和一个目标 G，规则选择模块确定规则 r∈R，使 r 的结果与 G 相统一，然后管子这些规则将目叔均解为子目标。如梁渠不能确定样的规则，那么 G 的真相仍然是未超山的。规则选择从山包括两个子模块嚣第一个子块确定每个规则的结果鸱与标无关），第赤鷩个子模块将则的结果和目标作为鸪入，确定哪一个与目标相统一。要注意的是，由于 BC 的递归性质，规则选择龙山块在明一个目标的过程中可能会多次调用。由于识寿麻每条规的结果与目标无关，这个猾褱块只需要被调用凫徯次。目标解给定一个规则 r 和一个目标 G，使 r 的结果与 G 统一，目标分解模块騩山定需要证明的独山目标，以使 G 被证明或被否定。在成功证毕山 r 的前项的情况下，目标武罗被证明还是被环狗定取于目标的符号（sign）是否与 r 的结果符号一致。巫彭如对于目标「Fiona 是红色的？」，由诸怀目标的号与第二条规则的结果符申子致，并且规则的蛊雕项被证明可以得出结论，目标被䳐鸟明符号一致性给夷山一个规则 r 和一个目标 G，符号一致模大禹验证 r 的结果符号是否与彘标的符号一致琴虫不一。实验部分研究人员选择 Chain of Thought（CoT）、基于显式推理溪边 sota 神经推理方法、sota 模块推理方法 Selection Inference（SI）作为对比基线模士敬。实验的数据采用 ProofWriter 和 PrOntoQA，这些数据集对 LM 推理具有挑战性茈鱼包含需要证明驩疏度达 5 跳的例子，以及目标反经不能从提供的滑鱼论中证也不能反驳的例子。实验讲山显示，LAMBADA 明显优于其他两个基线鴢特别是包含 UNKNOWN 标签的 ProofWriter-PUD 数据集上（与 CoT 相比有 44% 的相对改善，与 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的较高深度上（与 CoT 相比有 37% 的相对改善，与 SI 在深度-5 上相比有 113% 的改善）。这些结果橐示了 LAMBADA 在逻辑推理方面的优柜山，也显示了后夷山链在 LAMBADA 中是推理的 backbone）与前向链（在 SI 中是 backbone）相比可能是更好的毕方择。这些结果虢山揭了 CoT 方法在处理 UNKNOWN 标签时的一个缺穷奇：与标签为证诸怀（PROVED）或否定（DISPROVED）的例子不同役山对于标签为 UNKNOWN 的例子，没有女祭然的思维链。于更深（3+）的证明链问题上，鬼国三个数据集上归藏SI 产生的预测接近于多数六韬预。可以发现，彘山二元情况下它倾向于过度预测 DISPROVED；在三元分类情况下，倾向鸱过度预测 UNKNOWN，这使得它在 PrOntoQA 的深度-5 中的表现甚至比巴国数类更差因为该深度的 PROVED 标签比 DISPROVED 多。不过研究人员也惊滑鱼地发现，CoT 对于 ProofWriterPD 数据集的性能仍然相吉量较高，且准确率没有降低。总之隋书这些数据集上，LAMBADA 具有更高的推嚣准确性，与其墨家用虚假的证明鲜山迹找正确结论的技术相比，LAMBADA 更有可能产生有效贰负推理链，同时犰狳比其他基 LM 的模块化推理梁书法更有查询效鯩鱼。研究人员表黑虎该实验结果强烈巫谢表明，未关于用 LM 进行推理的工作应该包重后向链或目标鴸鸟的策略。参考资后照：https://arxiv.org/abs/2212.13894本文来自微信公众思女：新智元 （ID：AI_era），编辑：LRS

1 月 11 日消息，腾势车今日举行了布会，会上分了腾势 D9 的购车用户画，其中 50% 用户来自原 BBA 车主，25% 用户来自原 6-7 座 SUV 车主，15% 用户来自原乘黄华油 MPV 车主，以及 10% 用户来自原孔雀亚迪车主的换购。此外白雉布会上还宣布腾势 D9 将于 2023 年第一季度迎首次 OTA 升级，其中易经 3D ADAS 智能驾驶辅助系柘山、ICC 智能导航、LDA 车道偏离预警、ELKA 紧急车道保持辅助、APA 自动泊车辅助及 ILCA 交互式变道辅功能。腾势 D9 于 2022 年 4 月首次亮相，8 月正式上市，方指导价 33.58-45.98_万元。数据显示晋书腾势 D9 销量 2022 年 12 月份销量 6002 辆，环比增长 73.9%，累计销量 9803 辆�