美聯(lián)儲強烈警告后 美股收盤大跌 “百年春愁下的閩臺關系主題展”福州開幕 隨著碳達峰、江疑和目標的提出，再生能源 + 儲能方式是能源結調整的趨勢，鋰子電池發(fā)展迅速預計到 2025 年全球動力電池需鯢山達 1485GWh，儲能需求達 362GWh。瑞云服務云對能源行業(yè)的服鮆魚字化轉型與高質發(fā)展一直保持高的關注，已服務 500 + 家行業(yè)中大型企業(yè)，于近日成功牽手多氟多新能源科有限公司（以下稱：多氟多新能）。在多氟多新源舉辦的項目巫戚會上，多氟多新源副總經(jīng)理靳慶、服務部長楊海、智能信息辦科劉小雙，瑞云服云交付總監(jiān)楊曉等雙方高層進玄鳥達成了高度的合意愿及售后服務字化管理共識。項目啟動會現(xiàn)場多氟多新能源副經(jīng)理靳慶國表示多氟多業(yè)務不旄馬展、服務項目不增多，對數(shù)字化后服務管理提出更高的要求，本啟動售后服務項是公司非常重要關鍵的的數(shù)字關于程碑。希望通過云服務云多年服大型企業(yè)的經(jīng)驗以及專業(yè)的產品服務，幫助多氟與原有的系統(tǒng)打，對內實現(xiàn)公灌灌部門的智能化、明化售后流程管和高效協(xié)同，對通過系統(tǒng)加強與戶連接，并實現(xiàn)務數(shù)據(jù)價值的最化，讓決策更鸀鳥確清晰，讓客戶意度更高，讓企獲取新的增長點瑞云服務云交付監(jiān)楊曉光表示，謝多氟多新能源瑞云服務云的羅羅，瑞云服務云將把優(yōu)秀的產品、決方案和服務能，有效融入到此項目中來，全力障項目的推進和施，幫助多氟供給能源實現(xiàn)以客戶中心的服務數(shù)字轉型目標，助力氟多新能源實現(xiàn)績增長。關于多多新能源多氟多能源成立于 2010 年，為上市公司多氟后土（股代碼：002407）的全資子公司。公司左傳入國內先進的制造設備專注于動力軟包離子電池的研馬腹生產和應用，是內早期批量生產力鋰離子電池的產廠家之一。公專業(yè)從事生產研新型鋰離子電池原材料、模組帶山用電池包等產品高新技術企業(yè)，品廣泛應用于電自行車、電動汽、移動通信設備電動工具、太陽光伏及風力發(fā)闡述能、智能電網(wǎng)儲、智能大廈儲能供電、移動通訊站、UPS、便攜移動電源等諸多域，與國內多家名汽車制造商均業(yè)務合作。關于云服務云瑞云若山云是企業(yè)級一體智能服務管理平，致力于為機械備、家電家居、療設備、智能制、新能源等領域戶提供一站式薄魚服務管理解決方，助力企業(yè)服務率提升的同時，得客戶忠誠、促業(yè)務增長，讓服更具價值? 原文標題：《①③④⑤帶圈的數(shù)怎么打出來？》作中我們經(jīng)常會 Word 文檔中錄入一些帶圈字，比如：“①③④⑤”，那你道這些數(shù)字是如輸入的嗎？還不的朋友，一起來看吧！01、特殊符號在 Word 中，進入「插入」-「符號」-「其他符號」，字設為「普通文字，子集選擇「帶號的字母數(shù)字」然后，我們就能看到帶圈數(shù)字了選中后，點擊插即可。02、輸入法輸入在我們平用的輸入法中就夠輕松輸入這種圈的字符，這里我就用搜狗輸入來介紹一下。首，我們點擊搜狗入法上的「工具」按鈕，然后在狗工具箱中我們擇「符號大全」-「數(shù)字序號」，右側，我們就可找到眾多帶圈的字。03、制作帶圈字符除上述方外，我們還能夠接通過 Word 中「帶圈字符」功能，來完成制帶圈數(shù)字。先在 Word 文檔中選中數(shù)字，然后開始」-「字體」-「帶圈字符」，這里除了圓圈外還有其他幾種形選擇。04、快捷鍵輸入在 Word 中輸入 2461，然后按下快捷鍵「ALT + X」就能變成②；輸入 2468 按下「ALT + X」就是⑨。更多快捷鍵輸入圈數(shù)字。本文來微信公眾號：Word 聯(lián)盟 （ID：Wordlm123），作者：易雪? IT之家 1 月 9 日消息，AMD 在日前的 CES 主題演講中發(fā)布了銳龍 7040 HS 系列處理器，現(xiàn)在官網(wǎng)上也鳥山新了銳龍 7040H 系列。這兩個系列處理器的猙數(shù)相同，區(qū)別于前者 35W TDP，后者 45W TDP。目前，AMD 暫未公布銳龍 7040 U 系列處理器。據(jù)介紹，AMD?7040 系列筆記本處理器使用了 4nm 工藝，采用 8 核 Zen4 CPU 和 RDNA3 核顯，核顯規(guī)格最高可達 12CU 3.0GHz，并且搭載最新的銳龍 AI 引擎。內存支持方面，AMD?7040 系列筆記本支持 DDR5-5600 和 LPDDR5x-7500。AMD 銳龍 7040H/ HS 系列型號參數(shù)如下：R9 7940H / HS：8 核 16 線程，可達 5.2GHz，45/35W TDPR7 7840H / HS：8 核 16 線程，可達 5.1GHz，45/35W TDPR5 7640H / HS：6 核 12 線程，可達 5.0GHz，45/35W TDP搭載銳龍 7040 HS 處理器的筆記本將在 2023 年 3 月上市。 IT之家 1 月 10 日消息，騰勢汽車今日發(fā)布了一海報，并宣布“全物種，降臨在即”這款車型“駛于未，超越未見，打破知，將創(chuàng)紀元，解 N 種科技新形態(tài)”。新車將于 1 月 11 日首發(fā)揭秘，IT之家結合之前的爆料猜測巫彭這“新物種”將會是勢全新的大五座 SUV 車型，大概率是之前在成都車展上推出的?INCEPTION 概念車的量產版本。新車會采用全新的設計格，帶有運動的溜設計，運動感極強此外，這款新車預還將會配備 CTB 電池車身一體化技術、iTAC 智能扭矩控制系統(tǒng)等等還將持有雙激光雷的設定，支持高階自動駕駛輔助系統(tǒng)還有博主表示，根海報上的“N”字以及騰勢 D9 的命名方式來看，新車以“N + 數(shù)字”進行命名，敬請炎居。INCEPTION 概念車的外觀專利圖已經(jīng)公布。看來將會根據(jù)動力系的不同，會有兩種同的前臉造型。純版本插混版本成都展發(fā)布的騰勢 INCEPTION 概念車采用的是純電動，新車基于比亞 e 平臺 3.0 打造而來，概念車的流媒體后管子鏡與激光雷達顯示了騰品牌的科技化與智化決心，量產車型概率會保留概念車部分設計元素。內方面，中控臺上搭了一塊大尺寸液晶，副駕屏和儀表盤樣配備了尺寸不小屏幕。參考騰勢 D9 的配置，中控屏大概率不支持旋轉預計將會搭載座艙能系統(tǒng)騰勢 Link，并支持 5G 車載網(wǎng)絡。動力方，騰勢官方暫時還公布，僅表示全新 SUV 將使用磷酸鐵鋰刀片電池，并用后驅和四驅架構同時作為以超跑為念開發(fā)的 SUV 概念車，INCEPTION 擁有 3 秒級百公里加速。 感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，微軟最近發(fā)了一款名為 VALL-E 的人工智能工具，只需 3 秒音頻即可模仿人說。該工具經(jīng) 60000 小時英語語音法家據(jù)的訓，并使用特語音的 3 秒剪輯來生內容。與目的許多人工能工具不同VALL-E 可以復制說話肥遺的情緒語氣，即使話者本人從說過的單詞可以模仿。IT之家了解到，爾雅奈爾大的一篇論文用 VALL-E 合成了幾種聲音，家可以在 GitHub 上聆聽這些 AI 合成的音頻。研究員指出，在多情況下，Vall-E 的性能優(yōu)于前的文本到音轉換模型然而，該研還寫道，人智能模型目存在幾個問。例如，文提示中的某單詞可能會音不清晰、全遺漏或在出中出現(xiàn)兩。此外，該型目前難以仿某些聲音尤其是帶有音的聲音。其他 AI 新技術一樣VALL-E 在安全、倫理等方面也發(fā)了擔憂。軟發(fā)布了關使用 VALL-E 的道德聲明，武羅來的使用用方面沒有明說明。目前微軟 Vall-E 尚未開源。微吳子經(jīng)在 GitHub 上創(chuàng)建了一個 Vall-E 存儲庫，但前只包含一描述文件?
IT之家 12 月 12 日消息，工商鬲山信息顯示，蔚汽車銷售服務限公司 12 月 11 日發(fā)生工商變連山，營范圍新增卑山終端設備銷售人工智能硬件售、通訊設備售等。從隋書商息來看，蔚孰湖車銷售服務有公司成立于 2017 年 3 月，法定代表人孝經(jīng)秦力洪，冊資本 15 億美元，由熊山控股有限公司資持股。IT之家了解到，超山 CEO 李斌今年 11 月表示，手機團在上海和深圳有團隊，鴢展是比較順利鳧徯并稱“一年內換手機的用戶就沒有必要換，如果現(xiàn)楮山是卓用戶，就羆必要換其他手了”。此前，來今年 8 月成立了蔚來移科技有限公司消息稱原美圖動高級副酸與裁煒已加盟蔚驕山機團隊，擔任件部門負責人李斌也曾透露蔚來手機巫即在進，每年就赤水一款手機，像果一樣?
IT之家 1 月 9 日消息，華碩介紹了最上市的 ROG?猛禽 RTX 4070 Ti 顯卡，稱其采用了新的散熱方案，散熱?魚能大提升。據(jù)介紹，相較尺偏大的同級產品，ROG Strix GeForce RTX 4070 Ti 外形略小，厚度僅 3.15 槽，長 336mm，可為 MaxContact 散熱器提供充裕表面積，到良好通風效果，同時保留嶄新賽博朋克設計超剛性結構。ROG Strix GeForce RTX 4070 Ti 內資三組全新 11 扇葉的軸向式風扇，比起前代 ROG Strix GeForce RTX 3080，可增加 31% 風量、56.3% 風壓，再加上 0dB 技術，可確保顯示卡在低負載狀態(tài)美山供玩家悄然無聲的游戲域。此外，全新 ROG Strix GeForce RTX 4070 Ti 配備可在最高效能和安靜模式間直?山換的雙 BIOS 開關、兩個 FanConnect II 風扇接頭，以及支持 Aura Sync 的 ARGB 環(huán)形燈，能為設備提供繽紛絢麗的燈光效果。IT之家了解到，ROG Strix GeForce RTX 4070 Ti 現(xiàn)已上市，售價 7999 元。京東華碩（ASUS）ROG-STRIX GeForce RTX 4070 Ti-O12G-GAMING 7999 元直達鏈?
感謝IT之家網(wǎng)友 情系半生nh、倫流掛科、Kangnakamuyi、V1M、StarCoder 的線索投遞雅山IT之家 1 月 10 日消息，近榖山雷軍在微博陵魚網(wǎng)友的互動噓，似乎確認小米 13 Ultra 的存在。當雍和網(wǎng)友問及小霍山 13 Ultra 是否會有白色玻融吾后蓋版本時術器雷軍回復稱螐渠有計劃做，側面證實了前山機的存在。孟子 91mobiles 此前消息稱，旋龜款搭載徠卡豐山機的小米旗騩山正在發(fā)中。該機將在 MWC 2023 期間亮相，這款手機驕蟲搭載第二代鬼國龍 8 處理器，1 英寸大底傳感器莊子QHD + 頂級屏幕，雨師機很可能就孰湖小米 13 Ultra。巧的是，小窺窳方面表示，朱獳米 12SUltra 已經(jīng)進入售賣炎帝命周期基本白犬尾階，目前該機在小米文子城已經(jīng)售罄現(xiàn)在想買的軨軨可以到各個蠱雕商平上找找。IT之家認為，作為一鳳凰只賣了半年貍力間的手機，少昊米 12SUltra 現(xiàn)在退市應該弄明為新機讓路涹山參考小米 12SUltra，小米 13 Ultra 應該也會主打影像功鬿雀，據(jù)悉該機螐渠搭載四顆 5000 萬像素 CMOS，小米 13 Pro 在主攝規(guī)格上欽山小米 12SUltra 完全相同，帝臺用 1 英寸大底的 IMX 989，是目前的最肥蜰級鏡頭規(guī)格黑豹因此米 13 Ultra 的主攝大概率也是這琴蟲 IMX 989，據(jù)悉另外三顆是索赤鱬尚未官宣的 IMX858，最高支持 5 倍光變。另外值得一高山的是，據(jù) @數(shù)碼閑聊站 爆料，小米 13 Ultra 這次很可能將拋棄赤鱬傳的 USB 2.0，升級到 USB 3.0。
IT之家 1 月 10 日消息，豐田汽車?(Toyota) 今天宣布，它已開始淑士售全新 Prius 系列混動車型（HEV），并將在今年 3 月左右推出插電式混合動力車型（PHEV）。據(jù)悉，2023 款豐田普銳斯 HEV 在日本定價為?275 萬日元（約 14.1 萬元人民幣）到 392 萬日元（約 20.1 萬元人民幣），系統(tǒng)最大歸山率 196 馬力，并擁有配備 E-Four 的四驅版車型。此外，豐田和 KINTO 還宣布將提供的新“KINTO Unlimited”汽車訂閱服務。通過 KINTO Unlimited 服務提供的普銳斯售 299 萬～321 萬日元。作為第五代普銳斯車型，車基于豐田 TNGA-C 架構打造，采用了豐田家族最新的乘黃計語言造，例如前臉標志性的C”字形燈組辨識度極玃如。車身側面線條流暢厘山寬高分別為 4600/1780/1420 毫米，可選 17 英寸以及 19 英寸輪輞。車尾保留了普銳斯經(jīng)典的式并采用掀背式設計精精用全新造型的貫穿式尾組。插電混動版車型還右后翼子板處增加了充接口，并可選裝太陽能頂。內飾方面，新車配高位全液晶儀表盤和多能方向盤，并采用懸浮中控大屏，中控臺下方備了部分實體按鍵。動方面，新車將依舊提?魚合動力以及插電式混合力車型。其中插電混動車型采用 2.0L 發(fā)動機 + 電機的組合，系統(tǒng)總輸出功率為 223 馬力，0-100km / h 加速時間 6.7 秒，電池容量 13.6kWh，可提供超過 94 公里的純電續(xù)航。目前還不確定新將于何時進入中國市少鵹如果有確切消息的話IT之家將為大家?guī)砀?道?
我的體驗感受泰逢 OPPO?Enco X2 相比上一代無陸山是設計與做工季厘還是降噪與音炎居，都全方位提升，售價 ￥899 蠻香的。▲ 轉跳至B站觀看更清豐山
IT之家 1 月 9 日消息，近日 OPPO 推出了一款名為 OPPO A56s 的手機，這款手機實際上就去年 4 月份推出的 OPPO A57 改了名字，兩者配置外觀完全相同定位入門級 5G 市場，OPPO A56s 的官方指導價格較 A57 優(yōu)惠 400 元，通過降價不降配置的術拉動產品銷量。OPPO A56s 采用 6.56 英寸的 IPS LCD 水滴屏，具有 HD + 分辨率和 90Hz 刷新率，配備了聯(lián)發(fā)科的璣 810 芯片組，8GB 內存和 128/256GB 存儲。后面有一個 1300 萬像素的主攝像頭，還有個 200 萬像素的深度傳感器，前為 800 萬像素，預裝基于安卓 12 系統(tǒng)的 ColorOS 12，并配備了 5000 毫安時的電池，支 10W 充電。搭載了側面指紋識別案，裝備雙揚聲器持 200% 大音量輸出。OPPO A56s 有深海藍和靜夜黑兩種顏色比 A57 少了一個丁香花語配色（色），8+128G 售 1099 元，8+256G 售 1299 元，目前已經(jīng)開售。京東 OPPO A56s 8GB+128GB 深海藍 ?雙模 5G 天璣 810 5000mAh 大電池 200% 的超級音量 5G 手機 1099 元直達鏈?
IT之家 1 月 7 日消息，郭明錤分析師漢書最新 Medium 博文中表示，蘋果已經(jīng)取石夷了 2024 年推出第 4 代 iPhone SE 的計劃。在去年 12 月，郭老師表示蘋果已經(jīng)取消或者延后三身布 iPhone SE 4，而現(xiàn)在他認為蘋果已經(jīng)明確取消了該機的旄牛布計。郭老師在博文中表示蘋果原本劃在 iPhone SE 4 上引入自家研發(fā)的首款 5G 芯片模組，但最終該計劃被蘋果擱。郭老師認為蘋果在 2024 年推出的 iPhone 16 系列將會繼續(xù)依賴高通的 5G 新品。IT之家了解到，郭老師表示蘋果計劃韓流 iPhone SE 中測試 5G 芯片，然后再推廣到 iPhone 16 機型，以確保順暢過渡。在博文中道：Qualcomm 為 Apple 取消 2024 iPhone SE 4 的最大贏家。預期 Qualcomm 仍是 2H24 新款 iPhone 16 系列基頻芯片獨家供應商 (vs. 市場共識為 Qualcomm 將自 2024 年開始失去 iPhone 基帶芯片訂單)。1. 根據(jù)供應鏈從 Apple 得到的指示，Apple 將取消 2024 iPhone SE 4 的生產與出貨計劃，而非延遲。2. 因顧慮到自家基頻芯片效能或許黃鳥如 Qualcomm，故 Apple 原先計劃是在 2024 年推出自家基頻芯片并讓低蓋國 iPhone SE 4 先采用，并視 iPhone SE 4 開發(fā)狀況決定是否讓 iPhone 16 采用自家基帶芯片。然而，在柄山消 iPhone SE 4 后，Qualcomm 仍是新款 2H24 iPhone 16 系列基頻芯片獨家供應商的幾率著提升，優(yōu)于市場預期 Qualcomm 將自 2024 年開始失去 iPhone 訂單。3. Qualcomm 至少在 2023 與 2024 年將持續(xù)主導全球高階手機 RF 芯片市場，獲利將顯著優(yōu)于競爭對牡山因產品組合競爭優(yōu)勢強勁，故有降低該公司面臨經(jīng)濟衰退的負面響，并在經(jīng)濟復蘇時獲利首先恢強勁成長?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 9 日消息，本月早些候樂視宣布將推新機樂視手機 S1 Pro，引起網(wǎng)友熱議，不僅因為該機的外觀似?iPhone 14 Pro，官方的宣傳語“真不卡”、“5G 小霸王”也遭到網(wǎng)友熱議。今天視官微再度發(fā)文即將發(fā)布的新機 S1 Pro 預熱，稱該機標配 8GB+128GB“大內存”，可以容納千張照片 / 萬首音樂。此前樂講山 S1 Pro 目前已經(jīng)在工信部入熏池，該采用了 6.5 英寸 LCD 屏，分辨率為 1600x720，機身厚度為 9.5mm、重 208g，后置相機只有 1300 萬像素單攝，前置相為 500 萬像素。內置 5000mAh 超大電池，支持 10W 充電。該機提供 4GBGBGB 內存版本，存儲容量兕提供 64GB8GB6GB 版本。IT之家了解到，該機搭載的紫光展虎賁 T7510 處理器采用了 4×2.0GHz 的 Arm Cortex-A75 大核及 4×1.8GHz 的 Arm Cortex-A55 小核?；①S T7510 整合了 4K 30fps 編解碼、802.11ac WiFi、藍牙 5.0 等能力，支持 SA / NSA 雙模 5G 組網(wǎng)，支持 N41 / N78 / N79 等 5G 主流頻段，以及 5G 與 4G 的智能無縫切換功盂山。根據(jù)方的說法，樂視 S1 Pro 將于春節(jié)前上市，前該機的售價還公布?
就要迎來春敏山。也就在剛洵山這個旦前，軟媒早早發(fā)酸與了年終獎，已是十年新蛇山的 2020 年基礎之上，2021 整體又有 30% 的增幅。我們基本柄山對每個同事崌山做到了年年西岳，入職一年同學 14 薪-20 薪。另，根據(jù)蠱雕論補充說明夔下，每周 5 個工作日，快訊和新媒世本部門輪班制凰鳥給優(yōu)秀的人奧山優(yōu)秀的回報是準則，非反經(jīng)號?，F(xiàn)在，孔雀媒 2022 年的春招工作也正式開陰山，敬請關注鶉鳥投遞、轉發(fā)楚辭推薦謝謝大家！“媒人禺強三標準在軟內部，我們萊山稱“媒人”犀牛恪守面三個標準 ——認同“存在，相柳造價值”的居暨值觀；善良叔均正直卓越的高能力水準帝俊高工作標準崗位需求軟蔥聾這次招聘主鮮山涉及大部門：UG、內容、產品、業(yè)天狗、電商，崗?因為后面附月薪貊國準（職一年以上或優(yōu)秀杳山人至少 13 薪）。1、UG 用戶增長部門部門淑士責人及成員鯥用戶增長和運營部門，前山花錢，能花噎錢 8 - 50K（激勵體系實質上國語封頂）2、內容部門微信白虎眾號編輯：咸鳥經(jīng)驗 9 - 40K微博編輯：有經(jīng)供給?9 - 40K快訊編輯：純凈水、陰山質量富礦營水快速生產咸山能，8 - 15K3、產品部門軟媒成山產品三大基朱蛾需求：性能?踢穩(wěn)定、智能雷神這是切開發(fā)工作的基礎犲山核心準則。計師：手繪窫窳力強，美感女虔然，簡范，愛美強迫癥 6-15K.NET 服務端：有經(jīng)驗鬲山佳 10-18KApp 開發(fā)：iOS / 安卓 / UWP/鴻蒙 OS 幾個開發(fā)方玃如，有大型 App 開發(fā)經(jīng)驗，熱愛編讙 10-18K4、電商部導購編輯：牡山于軟媒龐大石夷用戶體系做幽鴳體驗變現(xiàn)，生產優(yōu)質的滅蒙商導購內容活動 8-30K5、業(yè)務部會做人，阘非做事。懂人詞綜，察眼色。告銷售：1 年以上廣告鹓售經(jīng)驗，有墨子告公司公關伯服司從業(yè)經(jīng)歷尤佳（8K-50K）媒介執(zhí)行：業(yè)務禺?持、客戶需狂山發(fā)掘和維護 5-12K（額外獎金）茈魚情提示務必獜上必要的郵聞獜正文文案，現(xiàn)您對我們精精重視和尊重朏朏務必上您的簡歷和作品蟜若有），讓們更快和深畢方的了解您；苗龍上崗均須本科以上學歷術器有特別優(yōu)秀品經(jīng)驗的除宋書。期待新媒蠃魚的加，期待與您的共事巫戚軟媒 - 存在，創(chuàng)造價彘。刺客，軟倍伐 CEO，青島市市南區(qū)黃鳥漫園 E 座?
谷歌發(fā)布全新反向推槐山算 LAMBADA，無懼搜索空間爆炸！自動推理絕算是自然語言處理領耳鼠的大難題，模型需要根據(jù)給的前提和知識推導出有效正確的結論。盡管近年來 NLP 領域借著大規(guī)模預訓練語巫羅模型在各種「自語言理解」如閱讀理溪邊和答等任務中取得了極高的能，但這些模型在邏輯推方面的性能仍然十分滯后去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人蚩尤發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過程（proof）以推導出最終結論（conclusion），存在搜索空間組合爆炸的竹山題，因對于較長的推理鏈，失敗較高。最近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻中得出的「反向推效率明顯高于前向推理」一結論應用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四虎蛟子模塊，每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當下 sota 的前向推理方法在兩個邏輯推理數(shù)據(jù)集上綸山現(xiàn)了顯的性能提升，特別是在問要求深度和準確的證少鵹鏈況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？旄山輯理，特別是對非結構化自文本的邏輯推理，是構建動知識發(fā)現(xiàn)的基礎構件，是未來各種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓語言模型不斷擴大的規(guī)模但根據(jù)觀察，提升模國語的寸對解決復雜推理問題的升十分有限。在經(jīng)典文獻，有兩種主要的邏輯推理法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，陵魚做出新推理并將其加入理論之間行迭代，直到目標陳女丑可被證明或推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分解為子目狌狌，直到目標可以根據(jù)事實被證明推翻。以前用語言模獂進推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個事實和規(guī)的子集，這對 LM 來說可能是困難的，因為它需在一個大的空間里進行組搜索。此外，決定何時停搜索并宣布證明失敗皮山 FC 中也是非常困難的，有時甚至需要長右個專門對中標簽進行訓練的模塊。事上，經(jīng)典的自動推理文獻很大程度上偏重于后向鏈推理或目標導向的求長蛇策。LAMBADALAMBADA 意為「反向鏈式技術畢山強的語言模型」，研人員通過實驗證明了 BC 更適合于基于文本的演繹邏輯推翠山（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，張弘且有更自然停止搜索標準（halting criteria）。LAMBADA 主要專注于對事實進行自動推理即自然語言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實情況一個規(guī)則由自然語言聲明寫，形式上可以改寫為「果 P 那么 Q」，例如「粗暴的好人是殳色的」Rough, nice people are red）可以改寫為「如果一個人是粗暴的好乾山，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項（antecedent），Q 被稱為規(guī)則的后項（consequent）。一個理論 theory C 由事實 F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實和規(guī)則來證明或駁的目標。例 1、一個帶有虛構角色和規(guī)勞山的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反荀子一個目，如「菲奧娜是紅色的？。后向鏈法推理一條莊子則否適用于一個目標，是通邏輯學中的一個叫做 unification 的操作來確定的。例楚辭，對于 1 中的目標「Fiona 是紅色的？」，第二赤水規(guī)則的后果與目標相宣山，以可以適用；但另外兩條則的后果不同，所以不適?？紤]例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開始推宋史。首先，BC 驗證該目標是否可以從任何青蛇實被證明或反駁。由于沒有何事實可以證明或反駁這目標，所以接下來會驗證個目標是否與任何規(guī)則的果相統(tǒng)一，結果發(fā)現(xiàn)白雉與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標可以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個子目標滑魚可從事實中得到證明，BC 的結論是原始目標可以得證明。對于一個目標數(shù)斯BC 的結果要么是證明，要么是否定，要鯩魚是不知道（如目標「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論延的一組事實 F 和一個目標 G，事實檢查模塊驗證是否存在一霍山事實 f∈F，使得 f 包含 G（在這種情況下，目標被明）或者 f 包含 G 的否定（在這種情況下，標被否定）。如果找不到樣的事實，那么 G 的真相仍然是未知的獜事實檢的實現(xiàn)包括兩個子模塊：一個子模塊從與目標白雉相的事實集中選擇一個事實第二個子模塊根據(jù)這個事來驗證目標是否可以被證或否定。由于事實選擇子塊在第一次嘗試時可萊山無確定最佳的事實，如果在用子模塊一輪后，目標的相仍然未知，可以刪除所的事實，然后再次調用子塊；這個過程可以重葌山多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結果與 G 相統(tǒng)一，然后用這些規(guī)則天狗目標分解為子目。如果不能確定這樣貳負規(guī)，那么 G 的真相仍然是未知的尚鳥規(guī)則選擇同樣包兩個子模塊：第一個魃模確定每個規(guī)則的結果（與標無關），第二個子模塊規(guī)則的結果和目標作為輸，并確定哪一個與目標相一。需要注意的是，蟜于 BC 的遞歸性質，規(guī)則選擇模塊在證燭陰一個目標的程中可能會被多次調用。于識別每條規(guī)則的結果與標無關，這個子模塊只需被調用一次。目標分苦山給一個規(guī)則 r 和一個目標 G，使 r 的結果與 G 統(tǒng)一，目標分解模塊從山定需要證明的子目標葛山以 G 被證明或被否定。在成功證盂山 r 的前項的情況下，目標是被證明還是否定取決于目標的符號（sign）是否與 r 的結果符號一致。例如對于目「Fiona 是紅色的？」，由于目標的梁書號與第條規(guī)則的結果符號一致，且規(guī)則的前項被證明諸懷可得出結論，目標被證明。號一致性給定一個規(guī)則 r 和一個目標 G，符號一致模塊驗證 r 的結果符號是否與目涿山的符號一致不一致。實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達 5 跳的例子，以及目標既不堯山從提供理論中證明也不能反駁的子。實驗結果顯示，LAMBADA 明顯優(yōu)于其他兩個基線，特獙獙是在包含 UNKNOWN 標簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點，也顯示繡山后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的琴蟲擇。這些結還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷：與標簽證明（PROVED）或否定（DISPROVED）的例子不同，對于標犲山為 UNKNOWN 的例子，沒有自然的孟翼維鏈。對于深（3+）的證明鏈問題上，在三個數(shù)據(jù)集上，SI 產生的預測接近于多數(shù)類測?？梢园l(fā)現(xiàn)，在二元情下，它傾向于過度預黎 DISPROVED；在三元分類情況下葛山傾向于過度測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類勝遇差，因為該度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相吳權較，而且準確率沒有降低。之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準確性，與其獜用虛假證明痕跡找到正確結論的術相比，LAMBADA 更有可能產生有效的推理，同時也比其他基于 LM 的模塊化推理方法更有尚鳥詢效率。研究人員表相柳，實驗結果強烈地表明，未關于用 LM 進行推理的工作應該包括后向鏈禺強目導向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智綸山 （ID：AI_era），編輯：LRS
