本文經(jīng)計(jì)算機(jī)視覺(jué)研究院公眾號(hào)授權(quán)轉(zhuǎn)載，轉(zhuǎn)載請(qǐng)聯(lián)系出處。

• 論文地址：https://arxiv.org/abs/2402.17709
• 項(xiàng)目主頁(yè)：https://github.com/GraphPKU/Case_or_Rule
• 論文標(biāo)題：Case-Based or Rule-Based: How Do Transformers Do the Math? 

Case-based or rule-based?

人類(lèi)可以輕松地學(xué)習(xí)加法的基本規(guī)則，例如豎式加法，并將其應(yīng)用于任意長(zhǎng)度的新的加法問(wèn)題，但 LLMs 卻難以做到這一點(diǎn)。相反，它們可能會(huì)依賴(lài)于訓(xùn)練語(yǔ)料庫(kù)中見(jiàn)過(guò)的相似樣例來(lái)幫助解決問(wèn)題。來(lái)自北京大學(xué)張牧涵團(tuán)隊(duì)的 ICML 2024 論文深刻研究了這一現(xiàn)象。研究者們將這兩種不同的推理機(jī)制定義為 “基于規(guī)則的推理”（rule-based reasoning）和 “基于樣例的推理”（case-based reasoning）。圖 1 展現(xiàn)了兩種推理機(jī)制在遇到同一個(gè)加法問(wèn)題時(shí)，采用的不同模式。

圖 1：case-based reasoning 與 rule-based reasoning 示意圖

由于 rule-based reasoning 對(duì)于獲得系統(tǒng)性的泛化能力 (systematic generalization) 至關(guān)重要，作者在文章中探討了 transformers 在數(shù)學(xué)問(wèn)題（例如 ""）中到底是使用何種推理機(jī)制。為了測(cè)試模型是否依賴(lài)特定樣例來(lái)解決問(wèn)題，作者使用了 Leave-Square-Out 方法。主要思想是首先需要定位模型可能依賴(lài)的訓(xùn)練集中的樣例，然后將它們從訓(xùn)練集中移除，以觀察它們是否影響模型的測(cè)試性能。對(duì)于數(shù)學(xué)推理，作者的假設(shè)是，在解決某個(gè)測(cè)試樣本時(shí)，transformers 傾向于依賴(lài)與測(cè)試樣本 “接近” 的訓(xùn)練樣本來(lái)進(jìn)行推理。因此，作者在樣本的二維空間中挖掉了一塊正方形作為測(cè)試集（test square）。根據(jù)假設(shè)，若模型在做 case-based reasoning，且模型依賴(lài)的是與 test sample 距離較近的 training sample 來(lái)做推理，那么模型將無(wú)法答對(duì)正方形中心附近的 test samples，因?yàn)槟Ｐ驮谟?xùn)練集中沒(méi)有見(jiàn)過(guò)接近的樣例。

圖 2：GPT-2 在加法、模加法、九進(jìn)制加法、線性回歸上利用 Leave-Square-Out 方法進(jìn)行 fine-tune 后在全數(shù)據(jù)集上的正確率。其中，紅框中的方形區(qū)域?yàn)闇y(cè)試集，其他部分為訓(xùn)練集合。

通過(guò)在五個(gè)數(shù)學(xué)任務(wù)（包括加法、模加法、九進(jìn)制加法、線性回歸以及雞兔同籠問(wèn)題）的干預(yù)實(shí)驗(yàn)，transformers 無(wú)一例外都表現(xiàn)出了 case-based reasoning 的行為。作者利用 Leave-Square-Out 方法對(duì) GPT-2 進(jìn)行了 fine-tune，具體的模型表現(xiàn)展示于圖 2?？梢?jiàn)，測(cè)試集內(nèi)，模型的性能由邊界到中心迅速下降，出現(xiàn)了 holes。這說(shuō)明當(dāng)我們把 holes 周?chē)?similar cases 移出訓(xùn)練集時(shí)，模型便無(wú)法做對(duì) holes 中的 test samples 做出準(zhǔn)確推理。也即展現(xiàn)出模型依賴(lài) similar cases 進(jìn)行推理的行為。為了確保結(jié)論的公平性，作者同時(shí)利用 random split 方法對(duì)數(shù)據(jù)集進(jìn)行了訓(xùn)練集 / 測(cè)試集的劃分，并觀察到 random split 下模型可輕易在測(cè)試集上達(dá)到接近 100% 的準(zhǔn)確率，說(shuō)明 Leave-Square-Out 實(shí)驗(yàn)中的訓(xùn)練樣例數(shù)是足夠模型完成推理的，且再次側(cè)面印證了 transformers 在做基于樣例的推理（因?yàn)?random split 下所有 test samples 都有接近的 training samples）。

Scratchpad 是否會(huì)改變模型推理行為？

圖 3：利用 scratchpad 對(duì) GPT-2 在加法任務(wù)上進(jìn)行 fine-tune 后的模型在 test square 中的準(zhǔn)確率。

此外，作者探討了是否可以通過(guò)加入 scratchpad，即引導(dǎo)模型在輸出中一位一位地做加法來(lái)消除 case-based reasoning 的行為，使模型轉(zhuǎn)向 rule-based reasoning（scratchpad 的具體方法可見(jiàn)圖 4）。圖 3 展示了利用 scratchpad 對(duì) GPT-2 在加法任務(wù)上進(jìn)行 fine-tune 后的模型在 test square 中的準(zhǔn)確率。

一方面，可發(fā)現(xiàn) test square 中仍然有一部分模型無(wú)法做對(duì)的區(qū)域，表現(xiàn)出模型仍然在做 case-based reasoning；另一方面，與不加入 scratchpad 時(shí)模型在 test square 中出現(xiàn)整塊連續(xù)的 hole 的現(xiàn)象相比，模型在使用 scratchpad 時(shí)對(duì)于訓(xùn)練樣例的依賴(lài)情況顯然發(fā)生了變化。

具體而言，test square 中無(wú)法做對(duì)的區(qū)域呈現(xiàn)為三角形，其斜邊沿著個(gè)位和十位的 “進(jìn)位邊界”。例如，圖 3 中自左向右第 2 張圖（test square 邊長(zhǎng)）有兩個(gè)三角形區(qū)域，模型的準(zhǔn)確率幾乎為零。小三角形表示，模型無(wú)法解決如47+48的問(wèn)題，因?yàn)橛?xùn)練集中沒(méi)有包含十位上進(jìn)位的步驟（所有四十幾 + 四十幾的樣例都在測(cè)試集中）。而對(duì)于不涉及十位進(jìn)位的測(cè)試樣本，如42+43 ，模型則能夠成功，因?yàn)樗梢詮拇罅科渌?xùn)練數(shù)據(jù)中學(xué)習(xí)到 4+4這個(gè)中間步驟（例如）。對(duì)于大三角形中的數(shù)據(jù)而言，模型無(wú)法解決例如57+58這樣的問(wèn)題，因?yàn)橛?xùn)練集中沒(méi)有包含十位上需要進(jìn)位到百位的案例。

這些黑色區(qū)域的形狀和位置表明，只有當(dāng)測(cè)試案例的每一步在訓(xùn)練集中都出現(xiàn)過(guò)時(shí)，模型才能夠成功；否則就會(huì)失敗。更重要的是，這一現(xiàn)象表明，即使有 step-by-step 的推理過(guò)程的幫助，transformers 也難以學(xué)會(huì) rule-based reasoning —— 模型仍然在機(jī)械地記憶見(jiàn)過(guò)的單個(gè)步驟，而沒(méi)有學(xué)會(huì)背后的規(guī)則。

其他影響因素

Scratchpad 以外，作者也在文章中對(duì) test square 的位置、大小，模型的大?。ò?GPT-2-Medium，與更大的模型：Llama-2-7B 和 GPT-3.5-Turbo），數(shù)據(jù)集的大小等因素進(jìn)行了豐富的測(cè)試。模型在做 case-based reasoning 的結(jié)論是統(tǒng)一的。具體的實(shí)驗(yàn)細(xì)節(jié)可見(jiàn)文章。

Rule-Following Fine-Tuning (RFFT)

通過(guò)上述的干預(yù)實(shí)驗(yàn)，作者發(fā)現(xiàn) transformers 在數(shù)學(xué)推理中傾向于使用 case-based reasoning，然而，case-based reasoning 會(huì)極大地限制模型的泛化能力，因?yàn)檫@意味著模型如果要做對(duì)新的 test sample ，就需要在訓(xùn)練集中見(jiàn)過(guò)相似的樣本。而在訓(xùn)練集中覆蓋到所有未知推理問(wèn)題的相似樣本是幾乎不可能的（尤其對(duì)于存在長(zhǎng)度泛化的問(wèn)題）。

圖 4：direct answer，scratchpad 與 rule-following 三種方法的 input-output sequence

為了緩解此類(lèi)問(wèn)題，作者提出了名為 Rule-Following Fine-Tuning（RFFT）的規(guī)則遵循微調(diào)技術(shù)，旨在教 transformers 進(jìn)行 rule-based reasoning。具體來(lái)說(shuō)，如圖 4 所示，RFFT 在輸入中提供顯式的規(guī)則，然后指導(dǎo) transformers 逐行地回憶規(guī)則并執(zhí)行。

實(shí)驗(yàn)中，作者在 1-5 位數(shù)的加法上使用圖 4 所示的三種方法對(duì) Llama-2-7B 和 GPT-3.5-turbo 進(jìn)行了 fine-tune，并分別在 6-9 與 6-15 位數(shù)的 OOD 的加法任務(wù)上進(jìn)行了測(cè)試。

圖 5：Llama-2-7b 和 GPT-3.5-turbo

由圖 5 可見(jiàn)，RFFT 在長(zhǎng)度泛化的性能上明顯超過(guò)了 direct answer 和 scratchpad 這兩種微調(diào)方法。使用 Llama-2-7B 進(jìn)行 RFFT 時(shí)，模型在 9 位數(shù)的加法中也能保持 91.1% 的準(zhǔn)確率。相比之下，使用 scratchpad 進(jìn)行 fine-tune 的模型在此任務(wù)中的準(zhǔn)確率不到 40%。對(duì)于擁有更強(qiáng)的基礎(chǔ)能力的 GPT-3.5-turbo，RFFT 使其能夠驚人地泛化到涉及多達(dá) 12 位數(shù)字的加法，盡管只在 1-5 位加法上訓(xùn)練了 100 個(gè)訓(xùn)練樣本，但其在 12 位數(shù)的加法上仍然保持了 95% 以上的準(zhǔn)確率。這也顯著超過(guò)了 scratchpad 和 direct answer 的結(jié)果。這些結(jié)果突出顯示了 RFFT 在引導(dǎo) transformers 進(jìn)行 rule-based reasoning 方面的有效性，并展現(xiàn)了其在增強(qiáng)模型長(zhǎng)度泛化能力方面的潛力。

值得注意的是，作者發(fā)現(xiàn) Llama-2-7B 需要 150,000 個(gè)訓(xùn)練樣本才能泛化到 9 位數(shù)字，而 GPT-3.5 僅用 100 個(gè)訓(xùn)練樣本就能掌握規(guī)則并泛化到 12 位數(shù)字。因此，規(guī)則遵循（rule-following）可能是一種 meta learning ability—— 它可能通過(guò)在多樣化的 rule-following 數(shù)據(jù)上進(jìn)行訓(xùn)練而得到加強(qiáng)，并可更容易地遷移到新的未在訓(xùn)練集中見(jiàn)過(guò)的領(lǐng)域中。相應(yīng)地，基礎(chǔ)模型越強(qiáng)大，理解并學(xué)習(xí)新的規(guī)則就越容易。這也與人類(lèi)學(xué)習(xí)新規(guī)則的能力相符 —— 經(jīng)驗(yàn)豐富的學(xué)習(xí)者通常學(xué)習(xí)得更快。

總結(jié)

本文探究了 transformers 在做數(shù)學(xué)推理問(wèn)題時(shí)究竟是采用 case-based reasoning 還是 rule-based reasoning，并提出了 Rule-Following Fine-Tuning 的規(guī)則遵循微調(diào)方法來(lái)顯式地教會(huì) transformers 進(jìn)行 rule-based reasoning。RFFT 展現(xiàn)了強(qiáng)大的長(zhǎng)度泛化能力，并有潛力全面提升 LLMs 的推理能力。