2410.03595

# Understanding Reasoning in Chain-of-Thought from the Hopfieldian View > The first three authors contributed equally to this work. \@testdef undefined Abstract Large Language Models have demonstrated remarkable abilities across various tasks, with Chain-of-Thought (CoT) prompting emerging as a key technique to enhance reasoning capabilities. However, existing research primarily focuses on improving performance, lacking a comprehensive framework to explain and understand the fundamental factors behind CoT’s success. To bridge this gap, we introduce a novel perspective grounded in the Hopfieldian view of cognition in cognitive neuroscience. We establish a connection between CoT reasoning and key cognitive elements such as stimuli, actions, neural populations, and representation spaces. From our view, we can understand the reasoning process as the movement between these representation spaces. Building on this insight, we develop a method for localizing reasoning errors in the response of CoTs. Moreover, we propose the Representation-of-Thought (RoT) framework, which leverages the robustness of low-dimensional representation spaces to enhance the robustness of the reasoning process in CoTs. Experimental results demonstrate that RoT improves the robustness and interpretability of CoT reasoning while offering fine-grained control over the reasoning process. 1 Introduction Large Language Models (LLMs) have demonstrated exceptional capabilities in following the natural language instructions (Ouyang et al., 2022; Jin et al., 2024) and excelling across a variety of downstream tasks (Hu et al., 2023a; Zhang et al., 2023; Yang et al., 2024a; c; b). As reasoning skills are crucial for tasks such as commonsense and mathematical reasoning (Rae et al., 2021), there is a growing focus on enhancing these capabilities. One prominent approach is Chain-of-Thought (CoT) prompting (Wei et al., 2022; Kojima et al., 2022), a simple yet highly effective technique to unleash the reasoning capability of LLMs. However, despite its success, a natural and fundamental research question remains: How does the reasoning capability emerge through CoT prompting? Numerous studies have sought to identify the key factors or elements that enable CoT to enhance the reasoning capabilities of LLMs (Kojima et al., 2022; Wang et al., 2023a; Tang et al., 2023; Merrill & Sabharwal, 2023). Some works focus on improving CoT reasoning through query-based corrections (Kim et al., 2023), knowledge-enhanced frameworks (Zhao et al., 2023), and symbolic reasoning chains for faithful CoT (Lyu et al., 2023; Lanham et al., 2023). Other research has examined how the sequence of demonstrations, random labels (Min et al., 2022), or even meaningless tokens (Pfau et al., 2024) can positively influence reasoning performance. However, these works primarily focus on improving the model’s reasoning performance, and they do not provide a comprehensive framework to explain the underlying factors driving CoT’s success. To understand the reasoning process in CoTs more deeply, we draw inspiration from cognitive neuroscience, specifically the relationship between cognition and brain function. In this field, the Hopfieldian view (Hopfield, 1982) and the Sherringtonian view (Sherrington, 1906) represent two different ways of understanding neural computational models and cognitive mechanisms. While the Sherringtonian view of cognitive explanation focuses on specific connections between neurons in the brain, the Hopfieldian view emphasizes distributed computation across neural populations, where information is not encoded by a single neuron but rather by the cooperative activity of many neurons. This perspective is particularly suited to explaining complex cognitive functions like memory storage, pattern recognition, and reasoning. Thus, the Hopfieldian view is generally considered more advanced than the Sherringtonian view, especially in the context of explaining distributed computation and the dynamics of neural networks (Barack & Krakauer, 2021). Based on these, a natural question is: whether we can understand the reasoning in CoTs from the Hopfieldian view of cognition? <details> <summary>x1.png Details</summary>  ### Visual Description ## Diagram: Cognitive Brain vs. Chain-of-Thought ### Overview The image presents two diagrams side-by-side, illustrating conceptual models of "Cognitive Brain" and "Chain-of-Thought." Both diagrams use a 3D representation space with axes labeled "Action axis" and "Motion axis." They depict neural populations and their activation patterns in response to stimuli or instructions. The diagrams use color-coding to represent positive and negative actions/outputs. ### Components/Axes **Left Diagram (Cognitive Brain):** * **Title:** Cognitive Brain * **Axes:** * Action axis (horizontal) * Motion axis (vertical) * **Representation Space:** The 3D space defined by the axes. * **Neural Populations:** Clusters of dots, color-coded. * **Motion Strength Legend:** Located at the top-left. * Red dots: Action + * Blue dots: Action - * **Stimuli Arrows:** * Red arrow pointing up and to the right: Stimuli + * Blue arrow pointing down and to the left: Stimuli - * **Labels:** * Action + (near the red neural population) * Action - (near the blue neural population) **Right Diagram (Chain-of-Thought):** * **Title:** Chain-of-Thought * **Axes:** * Action axis (horizontal) * Motion axis (vertical) * **Representation Space:** The 3D space defined by the axes. * **Neural Populations:** Clusters of dots, color-coded. * **Neuron Activations:** A small neural network diagram at the top, labeled with "Input," "Neuron Activations" (in a blue box), and "Output." * **Instruction Arrow:** * Red arrow pointing up and to the right: Instruction + * **Labels:** * Output + (near the red neural population) * Output - (near the blue neural population) * No Instruction - (near the blue arrow) * **Activated Neurons:** Label for the neural populations. ### Detailed Analysis **Left Diagram (Cognitive Brain):** * **Action + Neural Population:** Located in the top-left quadrant. The dots are red, indicating positive action. The motion strength varies from dark red to light red. * **Action - Neural Population:** Located in the bottom-right quadrant. The dots are blue, indicating negative action. The motion strength varies from dark blue to light blue. * **Stimuli + Arrow:** A red arrow pointing towards the top-right, indicating positive stimuli. * **Stimuli - Arrow:** A blue arrow pointing towards the bottom-left, indicating negative stimuli. **Right Diagram (Chain-of-Thought):** * **Output + Neural Population:** Located in the top-left quadrant. The dots are red, indicating positive output. * **Output - Neural Population:** Located in the bottom-right quadrant. The dots are blue, indicating negative output. * **Instruction + Arrow:** A red arrow pointing towards the top-right, indicating positive instruction. * **Neuron Activations Diagram:** Shows a simple neural network with interconnected nodes. ### Key Observations * Both diagrams use a similar 3D representation space with "Action" and "Motion" axes. * The Cognitive Brain diagram focuses on stimuli and actions, while the Chain-of-Thought diagram focuses on instructions and outputs. * Color-coding (red and blue) is used consistently to represent positive and negative values. * The Chain-of-Thought diagram includes a neural network representation, suggesting a more complex processing model. ### Interpretation The diagrams illustrate two different models of brain function. The "Cognitive Brain" model emphasizes the role of external stimuli in driving actions, while the "Chain-of-Thought" model highlights the internal processing of instructions to generate outputs. The "Chain-of-Thought" diagram, with its neural network component, suggests a more sophisticated, multi-layered processing approach compared to the more direct stimulus-response model of the "Cognitive Brain." The spatial arrangement of neural populations in relation to the axes and stimuli/instructions suggests a mapping of neural activity within the representation space. The motion strength, indicated by the color gradient, could represent the intensity or confidence of the action/output. </details> Figure 1: Illustration of the emergence of cognition in the brain and CoT reasoning from the Hopfieldian view. The Hopfieldian view explains the production of behavioral actions as emerging from transformations or movements within neural populations in response to stimuli in the brain (Barack & Krakauer, 2021) (cf. Figure 1). This perspective approaches cognition at the level of representations, disregarding the detailed roles of individual molecules, cells, and circuits, thus allowing the potential for a more conceptual and semantic understanding of complex cognitive systems. Viewing the CoT-triggered reasoning process in LLMs through this lens is intuitive: CoT prompting induces shifts in the model’s trajectory in much the same way that external stimuli shape cognitive responses, driving representation changes without altering the underlying system. Specifically, similar to the Hopfieldian mechanism, where the shift or movement in neural populations happens during cognition itself, CoT influences reasoning during inference, controlling the logical steps without modifying the model’s parameters. Given the parallels between the CoT-triggered reasoning process and the Hopfieldian view of cognition in the brain, we first establish a connection between these two by aligning key elements: stimuli and actions, neural populations, and representation spaces. Particularly, we provide a general framework for identifying the “representation spaces” of the “stimuli” given by CoTs. We conceptualize the reasoning process elicited by CoT prompting as movement between representation spaces, enabling us to improve and deepen our understanding of CoTs. Based on these connections, we then leverage the strength of the Hopfieldian view to improve or further understand CoTs. Specifically, by leveraging the “representation spaces” in CoTs, we develop a method for localizing the reasoning error in the responses. Moreover, by leveraging the robustness of low-dimensional representation spaces, we propose a new framework, namely Representation-of-Thought (RoT), which enhances the robustness of CoTs. We summarize the key contributions of our work as follows: 1. We establish a connection between the reasoning process in CoTs and the Hopfieldian view of cognition, grounded in cognitive neuroscience, to identify the key factors driving CoT’s success in zero-shot and few-shot settings. To the best of our knowledge, this is the first known attempt to leverage cognitive science for CoT interpretability by associating its core elements with the Hopfieldian framework. 1. Based on these connections, we leverage the strength of the Hopfieldian view to understand and further improve CoTs. We first consider how to localize the reasoning error based on the low-dimensional representation spaces. Then, by leveraging the robustness of the Hopfieldian view, we propose a new framework, RoT, to enhance the robustness of CoTs’ performance. 1. Comprehensive experiments on three tasks, including arithmetic reasoning, commonsense reasoning, and symbolic reasoning, reveal that our framework can provide intuitive and interpretable analysis, allowing error tracing and control for CoT reasoning. 2 Related Work Chain-of-Thought (CoT). The CoT is a prompting technique that engages LLMs in step-by-step reasoning rather than directly providing the answers (Nye et al., 2021). Studies have shown that introducing intermediate steps or learning from demonstrations can significantly improve the reasoning performance of LLMs (Wei et al., 2022; Kojima et al., 2022). Given the success of CoT, numerous studies have explored its application to a variety of complex problems, including arithmetic, commonsense, symbolic reasoning (Wang et al., 2023c; Zhou et al., 2023; Wang & Zhou, 2024), and logic tasks (Creswell & Shanahan, 2022; Pan et al., 2023; Weng et al., 2023). Recently, numerous endeavors have been made to enhance the reasoning capabilities in LLMs (Wang et al., 2023a; Dutta et al., 2024). For example, Kim et al. (2023) proposed a query-based approach to correct erroneous reasoning steps within a CoT. Zhao et al. (2023) introduced a knowledge-enhanced method to improve the factual correctness for multi-pole open-domain QA tasks. Lyu et al. (2023) developed “faithful CoT”, i.e., a framework that first translates natural language queries into symbolic reasoning chains and then solves the problem using CoT. Additionally, several studies have also focused on the sequence and quantity of demonstrations within the context, investigating their contributions to the final reasoning performance. For this, Min et al. (2022) discovered that even random labels or ineffective reasoning steps can still improve the model’s reasoning performance. Lanham et al. (2023) demonstrated the impact of intervening in the CoT process by adding mistakes or paraphrases. Pfau et al. (2024) showed that using meaningless filler tokens in place of a chain-of-thought can surprisingly boost reasoning performance. However, these studies primarily focused on how to improve the CoT’s reasoning performance and do not provide a framework to analyze the fundamental reasons, i.e., how does the reasoning capability emerge through CoT? Dutta et al. (2024) investigates the neural sub-structures within LLMs that manifest Chain-of-Thought (CoT) reasoning on the Llama-2-7B model. Similarly, Rai & Yao (2024) explores neurons in the feed-forward layers of LLMs to analyze their arithmetic reasoning capabilities on the Llama-2-7B model. Both studies are grounded in the Sherringtonian view of neural activity. In contrast, we adopt the Hopfieldian perspective to bridge this gap, focusing on representations rather than individual neurons. We apply our approach across three different downstream tasks and can further extend our analysis to larger models like Llama-2-70B. Interpretability of LLMs. Interpretability plays a key role in a deeper understanding of LLMs to identify potential risks and better meet human requirements (Zou et al., 2023). Common interpretability strategies include (i) Salience maps, which rely on highlighting the regions in the input that are attended by the model (Simonyan et al., 2014; Smilkov et al., 2017; Clark et al., 2019; Hu et al., 2023c; b; Lai et al., 2024); (ii) Feature visualization, which creates representative inputs indicative of particular neurons’ activations (Szegedy et al., 2014; Nguyen et al., 2016; Fong & Vedaldi, 2018; Nguyen et al., 2019); and (iii) Mechanistic interpretability, which employs reverse-engineering tools to explain networks based on circuits and node-to-node connections (Olah et al., 2020; Olsson et al., 2022; Wang et al., 2023b). However, these methods often require substantial human intervention and are limited in terms of scalability or interpretability, especially for the large language models (Fong & Vedaldi, 2018; Jain & Wallace, 2019; Hu et al., 2024). Thus, these methods cannot be directly used to interpret CoT reasoning. Additionally, most current approaches focus on representation-level analysis without considering how these representations connect to concepts learned during pre-training (Bricken et al., 2023; Templeton et al., 2024). Other works investigate the localization and representation of concepts in the network (Kim et al., 2018; Li et al., 2024), linear classifier probing to uncover input properties (Belinkov, 2022), fact localization and editing (Meng et al., 2022; Zhong et al., 2023; Cheng et al., 2024a; b), concept erasure (Shao et al., 2023; Gandikota et al., 2023), and corrective analysis (Burns et al., 2023), etc. These observations are aligned with RepE (Zou et al., 2023), which emphasized the nearly linear nature of LLM representations (Park et al., 2024). However, none of these approaches directly address the inner workings of CoT reasoning. While recent work has begun exploring connections between LLM interpretability and cognitive neuroscience (Vilas et al., 2024). However, it does not discuss the Hopfieldian view and also does not discuss how to explain the reasoning process in CoTs via cognitive neuroscience. Our work provides the first attempt to interpret CoT reasoning from the Hopfieldian perspective. 3 Preliminaries Large Language Models and Prompting. Prompts can take various forms, such as a single sentence or longer paragraphs, and may include additional information or constraints to guide the model’s behavior. Let $\mathcal{M}:\mathcal{X}\mapsto\mathcal{Y}$ be an LLM that takes an input sequence $x=(x_{1},x_{2},...,x_{q})∈\mathcal{X}$ and produces an output sequence $y=(y_{1},y_{2},...,y_{m})∈\mathcal{Y}$ . The model is typically trained to optimize the conditional probability distribution $pr(y|x)$ , which assigns a probability to each possible output sequence $y$ given $x$ . To incorporate a prompt $w$ with the input sequence $x$ , we can concatenate them into a new sequence $\hat{x}=(w,x_{1},x_{2},...,x_{q})$ . The conditional probability distribution $pr(\hat{y}|\hat{x})$ is then computed using $\hat{x}$ . Formally, the probability of the output sequence $\hat{y}$ given $\hat{x}$ is: $$ pr(\hat{y}|\hat{x})=\prod_{i=1}^{m}pr(y_{i}|y_{<i},\hat{x}), $$ where $y_{<i}$ represents the prefix of the sequence $y$ up to position $i-1$ , and $pr(y_{i}|y_{<i},\hat{x})$ denotes the probability of generating $y_{i}$ given $y_{<i}$ and $\hat{x}$ . The Hopfieldian View. In cognitive neuroscience, two prominent perspectives aim to explain cognition: the Sherringtonian view and the Hopfieldian view. See Appendix A for an introduction to the Sherringtonian view. For a detailed comparison between these two views, refer to (Barack & Krakauer, 2021) and (Bechtel, 2007). The Hopfieldian view focuses on understanding behavior through computation and representation within neural spaces, rather than the specific biological details of neurons, ion flows, or molecular interactions (Hopfield, 1982; 1984; Hopfield & Tank, 1986). It operates at a higher level of abstraction, emphasizing the role of representations and the computations performed on them. This approach conceptualizes cognition as transformations between representation spaces. At the implementation level, the collective activity of neurons is mapped onto a representation space, which contains a low-dimensional representational manifold. Algorithmically, Hopfieldian computation views these representation spaces as fundamental entities, with movements within or transformations between them as the central operations. The representations themselves are structured as basins of attraction within a state space, and while they are implemented by neural structures (whether individual neurons, neural populations, or other components), the focus is on the dynamics of the system rather than its specific biological mechanisms. Most Hopfieldian models, in practice, center on the activity of neural populations. A parameter space defines the dimensions of variation within these representational spaces, aligning with quality-space approaches from philosophy, where content is similarly structured. Computations over these representations are understood as dynamic transformations between spaces or shifts within them, characterized by features like attractors, bifurcations, limit cycles, and trajectories. Ultimately, cognitive functions are realized through these dynamic movements within or between representational spaces. Linear Representations in Language Models. Recent investigations into the internal mechanics of LLMs have revealed intriguing properties of their learned representations. Park et al. (2024) posited that high-level semantic features such as gender or honesty could be linearly represented as directions within the model’s representation space. This can be illustrated by the well-known word analogy task using a word embedding model (Mikolov et al., 2013). By defining $\mathcal{M}(·)$ as a function of extracting the representations of a given word by a word embedding model, the operation $\mathcal{M}(\text{Spain})-\mathcal{M}(\text{Madrid})+\mathcal{M}(\text{Paris})$ often results in an output close to $\mathcal{M}(\text{France})$ , where $\mathcal{M}(\text{Spain})-\mathcal{M}(\text{Madrid})$ can be considered as the representation vector of the abstract “capital of” feature in the embedding space. Concurrently, research on interpretable neurons (Dale et al., 2023; Ortiz-Jiménez et al., 2023; Voita et al., 2024) has identified neurons that consistently activate for specific input features or tasks, suggesting that these features may also be represented as directions in the LLMs’ neuron space. For instance, Tigges et al. (2023) use the PCA vector between LLMs’ hidden states on instructions “positive” and “negative” to find the sentiment direction in LLMs. Additionally, recent works (Zou et al., 2023; Arditi et al., 2024) show the effectiveness of engineering on language models using these directions. For example, adding multiples of the “honesty” direction to some hidden states has been sufficient to make the model more honest and reduce hallucinations. 4 Bridging Reasoning in CoTs and the Hopfieldian View In this section, we aim to build a bridge between the reasoning process in CoTs and the cognitive brain from the Hopfieldian view. We will particularly associate the main elements (stimuli, neural populations, and representation spaces) in the Hopfieldian view. After understanding these elements, we can leverage the strength of the Hopfieldian view to deepen our understanding of the reasoning process in current CoTs and further improve it. Note that we will leave other elements in the Hopfieldian view, such as attractors and state space, as future work. Stimuli and Actions. Stimuli and actions are key components of how the brain processes information and interacts with the environment. Actions refer to the motor responses or behaviors that result from cognitive processing, which are responses given by LLMs through CoTs. Stimuli refer to external or internal events, objects, or changes in the environment that are detected by the sensory systems and can influence cognitive processes and behavior. Based on this, we can adopt the term “stimuli” from cognitive science in the context of CoTs to refer to specific prompt text or instructions that trigger CoT reasoning. Specifically, in the zero-shot setting, we define the stimulus as $s_{zero}$ to represent a set of supplementary instructions in the prompt that encourage the model to provide more intermediate reasoning steps before arriving at a final answer. For example, it can be “ let’s think step by step ” or “ make sure to give steps before your answer ”. In the few-shot setting, the stimulus $s_{few}$ is defined as the sequence of demonstrations $D=\{(\tilde{q}_{1},\tilde{a}_{1}),(\tilde{q}_{2},\tilde{a}_{2}),...\}$ in the prompt, where $\tilde{q}_{i}$ represents the query and $\tilde{a}_{i}$ is the corresponding response. In the following discussion, we use $s^{+}$ to indicate that stimuli are included in the model’s input and $s^{-}$ to indicate that no stimuli are added. Note that we avoid using explicitly negative stimuli, such as “ please be careless and answer the following question ”, because a well-aligned model would likely refuse to behave in such a manner (Ouyang et al., 2022). Neural Populations. As we mentioned, in the Hopfieldian view, representations are realized by various forms of neural organization, especially populations. Identifying these “neural populations” in CoTs is especially important. In our framework, there are two steps for finding them. (i) Stimulus Set Designing. Here our goal is to elucidate the sensitivity of LLMs to different CoT prompts with stimuli. Understanding such sensitivity could help us know the neural populations raised from the stimuli. In detail, we construct a prompt set. For each query $q$ , we consider two forms of prompts: positive one (with stimuli) as $p^{+}=T(s^{+},q)$ and negative one (without stimuli) as $p^{-}=T(s^{-},q)$ , where $T$ is the prompt template. Specifically, for each query $q_{i}$ , we construct $M$ number of prompts for both of them with different stimuli, which is denoted as $P_{i}=\{p_{1}^{i,-},p_{1}^{i,+},p_{2}^{i,-},p_{2}^{i,+},...,p_{M}^{i,-},p_{M% }^{i,+}\}$ . Such construction is to make our following neural populations less dependent on the specific template form. Thus, in total, we have a stimulus set $P^{*}=\{P_{1},P_{2},·s,P_{N}\}$ , where $N$ is the number of queries. These contrastive pairs of prompts will be used to identify neural populations given by these stimuli. (ii) Identifying Neural Populations. Intuitively, the neural populations should be the most influential activation vectors of these prompts or stimuli. In detail, for each prompt in $P^{*}$ , the next step is capturing the network architecture’s corresponding neural populations. Since LLMs rely on transformer-based architecture to store distinct representations intended for different purposes, it is crucial to design the extraction process to capture task-specific representations carefully. For a given prompt $p^{+}$ or $p^{-}$ , we will find the “most representative token”, which encapsulates rich and highly generalizable representations of the stimuli. Here we select the last token after tokenizing the prompt, which is based on the observation in Zou et al. (2023) that it is the most informative token for decoder-only or auto-regressive architecture models. Once the last token position is identified, we can naturally select some of its activations (hidden state) in hidden layers. Previous studies (Fan et al., 2024; Cosentino & Shekkizhar, 2024) have shown that not all layers store important information about reasoning; thus we focus on a subset of them to reduce the computation cost, whose indices are denoted as a set $\mathcal{K}$ (in practice, $\mathcal{K}$ is always the last several layers). Thus, we have a collection of activation vectors. However, since we are focusing on the reasoning of CoT, studying the neural populations raised from the stimuli rather than the whole prompt is more important. Thus, we consider the difference in the activations of pairs of prompts. Specifically, for a pair $(p^{+},p^{-})$ , we can get their activations for all selected layers $\mathcal{K}$ : $\{h_{k}(p^{+})\}_{k∈\mathcal{K}}$ and $\{h_{k}(p^{-})\}_{k∈\mathcal{K}}$ , where $h_{k}(p)$ refers to the activation vector of the $k$ -th layer for a given input prompt $p$ . Then the differences of activations $\{\tilde{h}_{k}(p)\}_{k∈\mathcal{K}}$ are the neural populations for such stimuli, where $\tilde{h}_{k}(p)=h_{k}(p^{+})-h_{k}(p^{-})$ represents the most influential information we get from the stimuli for the query. Based on this, for each hidden layer in $\mathcal{K}$ , we have the neural population for all queries, which is denoted as $$ h^{*}_{k}=\{\tilde{h}_{k}(P_{1}),\tilde{h}_{k}(P_{2}),\ldots,\tilde{h}_{k}(P_{% N})\}. \tag{1} $$ Representation Spaces. After we have the neural populations for each selected hidden layers, our final goal is to find the representation space. In the Hopfieldian view, the representation of information is thought to occur within low-dimensional space embedded within higher-dimensional neural spaces. Thus, these representation spaces will be the most informative subspaces of the neural populations. Here we adopt the $s$ -PCA to find such an $s$ dimensional subspace. Specifically, for the $k$ -th layer where $k∈\mathcal{K}$ , we perform PCA analysis on $h_{k}^{*}$ : $$ R_{k}=\text{PCA}(h_{k}^{*}). \tag{2} $$ Then, the space spanned by this eigenvector will be the representation space for this layer. Motivated by the previous linear representation introduced in Section 3, here we set $s=1$ , i.e., we only consider the principal component. Intuitively, this means each representation space will focus on one “concept”. 5 Applications of Hopfieldian View to CoTs In the previous section, we mainly discussed how each element in the Hopfieldian view corresponds to the reasoning in CoTs. From our previous view, we can understand the reasoning process as the movement between these representation spaces. Based on these connections, we can leverage the strength of the Hopfieldian view to improve or further understand CoTs. In this section, we first consider how to localize the reasoning error based on the low dimensional representation spaces. Then, by leveraging the robustness of the Hopfieldian view, we propose a new framework, namely Representation of Thought, that enhances the performance robustness of CoTs. 5.1 Reasoning Error Localization In this task, for a given query, we want to check if there are some reasoning errors in the response by CoTs. If so, we aim to localize these errors. As in the Hopfieldian view, cognition occurs within low-dimensional representation spaces. Reasoning errors can be identified by analyzing the structure of these spaces, such as when certain directions $R_{k}$ (representing specific cognitive factors) are disproportionately activated or suppressed. This can help localize the source of the error within the cognitive process. Motivated by this, we can leverage the internal structure of spaces we have learned via PCA to locate the reasoning error for a given query in CoTs. Intuitively, since the reasoning occurs within these representation spaces, if there is a reasoning error in the response, then during the reasoning process, some tokens make the activations (hidden states) of the response far from the corresponding representation spaces. This is because if these activations are far from the spaces, CoTs do not reason the corresponding “concepts” in the response. Motivated by this, our idea is to iteratively check the tokens in the response to see whether they are far from the representation spaces. Mathematically, for a given prompt $T$ via CoT of query $x$ with its response $y=(y_{1},y_{2},·s,y_{m})$ , we will iteratively feed the prompt with a part of the response, i.e., $T_{i}=T\oplus y_{≤ i}$ , where $\oplus$ is the string concatenation. If the activations of $T_{i-1}$ are close to while those of $T_{i}$ are very far from the representation spaces $\{R_{k}\}_{k∈\mathcal{K}}$ in (2), then we can think the $i$ -th token $y_{i}$ makes an reasoning error. We use the following criterion to access and/or evaluate the quality of the rationale for $T_{i}$ : $$ \text{scores}(T_{i})=\text{Mean}(\{\text{scores}_{k}(T_{i})\}_{k\in\mathcal{K}% }),\text{where }\text{scores}_{k}(T_{i})=h_{k}(T_{i})^{\top}R_{k}-\delta. \tag{3} $$ Here $\delta$ is the threshold, $\text{scores}_{k}(T_{i})$ is the rationale for the $k$ -th representation space, and $\text{scores}(T_{i})$ is the average score across all layers in $\mathcal{K}$ . When the score is less than 0, it indicates that the activations of prompt $T_{i}$ are far from the representation spaces. See Algorithm 1 for details. Algorithm 1 Reasoning Error Localization 1: Prompt $T$ for query $x$ ; response $y=(y_{1},·s,y_{m})$ of the prompt $T$ via a CoT; threshold $\delta>0$ ; representation vectors $\{R_{k}\}_{k∈\mathcal{K}}$ in (2) with layer set $\mathcal{K}$ . 2: for $i=1,·s,m$ do 3: Denote a new prompt $T_{i}=T\oplus y_{≤ i}$ . Using the same process as in Section 4 to get the activations of $T_{i}$ in layers in the set $\mathcal{K}$ , which are denoted as $h_{k}(T_{i}),k∈\mathcal{K}$ . 4: Calculate $\text{scores}(T_{i})=\text{Mean}(\{\text{scores}_{k}(T_{i})\}_{k∈\mathcal{K}})$ in (3). 5: if $\text{scores}(T_{i})<0$ and $\text{scores}(q_{T-1})≥ 0$ then 6: Mark token $y_{i}$ as a “reasoning error”. 7: end if 8: end for 5.2 Representation of Thought The Hopfieldian view of cognition offers a framework that can potentially be used to control or influence cognitive processes. Specifically, influencing neural populations directly offers a more robust way to control cognition compared to simply providing different stimuli. Firstly, influencing neural populations directly allows the manipulation of the core dynamics of neural state spaces, including attractor states, bifurcations, and transitions between cognitive states. This direct intervention bypasses the variability and unpredictability associated with external stimuli, which depend on the individual’s perception, attention, and prior experiences. Moreover, external stimuli are subject to various forms of noise and variability, including sensory processing errors, environmental distractions, and individual differences in interpretation. Direct manipulation of neural populations can reduce these sources of noise, providing a cleaner and more consistent pathway to controlling cognitive states. Our RoT leverages representation spaces’ structure to enhance the robustness of reasoning in CoTs. Intuitively, we can manipulate a given query’s activations to be closer to the representation spaces to enhance robustness since these spaces are the inherent entities in the reasoning process. After the manipulation, the hidden states will be less dependent on the specific form of the prompt, query, and stimuli but will be more dependent on the intrinsic entities of the reasoning task. Mathematically, for a given prompt $T$ via CoTs of query $x$ . By using a similar procedure as in the Neural Populations section, we can get its neural populations $\{h_{k}(T)\}_{k∈\mathcal{K}}$ . In RoT, motivated by (Zou et al., 2023; Arditi et al., 2024), we can manipulate them by injecting the directions of their corresponding representation spaces to make them closer to these spaces: $$ h^{\prime}_{k}(T)=\begin{cases}h_{k}(T)+\alpha R_{k}&\text{if }k\in\mathcal{K}% \\ h_{k}(p)&\text{otherwise ,}\end{cases} \tag{4} $$ where $h^{\prime}_{k}(T)$ denotes the manipulated hidden state, $\alpha$ is a scaling factor controlling the manipulation strength. Its sign should follow the sign of $h_{k}(T)^{→p}R_{k}$ . By directly manipulating neural populations, RoT offers a more precise and interpretable method for influencing the model’s output compared to traditional prompt engineering techniques. This approach not only enhances control over the model’s behavior but also improves the transparency and predictability of the generation process. 6 Experiments In this section, we will perform experimental studies on the above two applications to verify the correctness of our understanding from the Hopfieldian view. 6.1 Experimental Setup Datasets. Our experiments are performed on benchmark datasets for diverse reasoning problems. We consider 6 datasets for 3 different tasks: Arithmetic Reasoning, Commonsense Reasoning, and Symbolic Reasoning. Specifically, for Arithmetic Reasoning, we select GSM8K (Cobbe et al., 2021) and SVAMP (Patel et al., 2021); we study StrategyQA (Geva et al., 2021) and CommonsenseQA (CSQA) (Talmor et al., 2019) for Commonsense Reasoning; lastly, for Symbolic Reasoning, we choose the Coin Flip (Wei et al., 2022) and Random Letter datasets, where the latter one is constructed from the Last Letter dataset (Wei et al., 2022). More details and statistics of the datasets are provided in Appendix B.1. LLMs. We employ Llama-2-7B-Chat (Touvron et al., 2023) and Llama-3-8B-Instruct (Meta, 2024) to evaluate their precision performance (accuracy) both before and after applying RoT to different datasets. Furthermore, we use Llama-2-13B-Chat (Touvron et al., 2023) and Llama-2-70B-Chat (Touvron et al., 2023) to show that our method performs effectively in larger-scale models. Baselines. Since our goal is to analyze the performance and robustness before and after control model reasoning in both zero-shot and few-shot settings, we focus on three baselines in our study: 1) Base: as the simplest approach with LLMs for reasoning, feed the model with only one question query. 2) CoT Z (Kojima et al., 2022): the most common zero-shot CoT is employed to provide a thought path. 3) CoT F (Wei et al., 2022): directly using some demonstrations before asking a question to LLMs. Evaluation Metrics. We consider the performance of RoT zero-shot (RoT Z) and few-shot (RoT F) settings. Besides the utility of performance, which is evaluated by accuracy, we also conducted results on the robustness against forms of prompts. For zero-shot settings, we selected three different specific instructions: (1) Let’s think step by step. (2) Let’s think about this logically. (3) Let’s solve this problem by splitting it into steps. For few-shot settings, we conducted two studies: 1) Using the original order of the given demonstrations, shown in Appendix C.3. 2) Based on experiment 1, we randomly shuffled the order of the demonstrations. Then we use the accuracy difference to consider the robust performance of our approach. Specifically, given a list of accuracy results from $A=\{\tilde{A}_{1},\tilde{A}_{2},·s,\tilde{A}_{n}\}$ given by different prompts mentioned above, the robust score is calculated by their pairwise difference: $\sum_{i=1}^{n}\sum_{j=i+1}^{n}|\tilde{A}_{i}-\tilde{A}_{j}|$ . The answer extraction process is based on the methodology outlined by Kojima et al. (2022). Detailed procedures and results are provided in the Appendix C.2. Experimental Settings. If not explicitly stated, in all experiments, we set the number of stimuli prompts $M=1$ , the sample number $N$ = 128, and select the samples by high perplexity. At the same time, we set the max new tokens to 512 in the generation stage and pick the last 5 layers to control. We choose $\alpha$ based on the accuracy performance on each dataset. In the reasoning error localization experiment, we set $\delta=10$ . We use float16 to load large language models and employ greedy search as our decoding strategy. All experiments are conducted using one NVIDIA L20 GPU (except Llama-2-70B-Chat which uses three NVIDIA A100 GPUs). Table 1: Results of RoT and CoT based on different LLMs on a variety of reasoning tasks. Green indicates an equal or improved accuracy compared to the Base method, while red indicates an accuracy decrease. It can be observed that, compared to CoT prompting, RoT achieves more consistent accuracy improvements across a variety of tasks. | Base + CoT Z + RoT Z | 26.00 26.31 26.23 | 54.00 46.00 54.33 | 47.75 43.41 48.24 | 63.62 62.05 63.54 | 44.80 52.75 45.45 | 20.33 24.33 20.67 | | --- | --- | --- | --- | --- | --- | --- | | \hdashline Base | 26.00 | 54.00 | 47.75 | 63.62 | 44.80 | 20.33 | | + CoT F | 4.62 | 38.67 | 53.07 | 59.26 | 47.60 | 31.00 | | + RoT F | 25.55 | 56.00 | 48.16 | 63.80 | 45.50 | 20.33 | | Llama-3-8B-Instruct | | | | | | | | Base | 73.31 | 80.67 | 72.65 | 65.07 | 68.90 | 44.00 | | + CoT Z | 74.45 | 82.33 | 72.24 | 66.07 | 90.45 | 43.00 | | + RoT Z | 74.83 | 83.33 | 72.89 | 65.24 | 76.35 | 47.67 | | \hdashline Base | 73.31 | 80.67 | 72.65 | 65.07 | 68.90 | 44.00 | | + CoT F | 72.02 | 81.00 | 73.63 | 62.75 | 96.50 | 50.67 | | + RoT F | 74.37 | 83.67 | 73.30 | 65.94 | 70.30 | 43.66 | Table 2: The robust results of our approach and different general baselines with CoT on each task. Bold text indicates optimal results in a single dataset. | CoT Z RoT Z \hdashline CoT F | 5.46 3.02 1.44 | 11.34 1.32 0.00 | 6.54 1.64 2.78 | 6.04 0.70 0.48 | 8.80 0.30 2.70 | 14.00 0.68 2.00 | | --- | --- | --- | --- | --- | --- | --- | | RoT F | 0.08 | 0.67 | 0.00 | 1.88 | 0.00 | 0.00 | | Llama-3-8B-Instruct | | | | | | | | CoT Z | 33.36 | 85.32 | 2.94 | 5.94 | 13.80 | 18.66 | | RoT Z | 2.58 | 2.66 | 0.82 | 1.14 | 16.40 | 11.34 | | \hdashline CoT F | 0.23 | 0.33 | 0.74 | 0.26 | 0.45 | 1.00 | | RoT F | 0.37 | 0.34 | 0.33 | 0.26 | 0.45 | 1.00 | 6.2 Experimental Results Utility Performance. We first consider the utility performance of RoT. As shown in Table 1, we can see that: 1) The original CoT performs unstable on different tasks. Generally speaking, CoT Z and CoT F appear better, but they are lower than Base in some datasets, such as the CSQA dataset in the zero-shot scenario, which is consistent with the observation in (Kojima et al., 2022). At the same time, for few-shot, CoT F performs extremely poorly in the GSM8k dataset because Llama-2-7B-Chat repeats the given demonstrations, resulting in a reduction in the number of valid tokens. Compared to CoTs, our RoT performs strongly in generalization on these datasets but may have lower accuracy in some cases. This is because, in RoT, we add additional directions to the hidden states of the prompt. These manipulations will cause a loss of information regarding the original query, making the accuracy lower. 2) In terms of different models, the Llama-3-8B-Instruct model has been improved more significantly. For example, with Llama-2-7B-Chat as the backbone, RoT Z is improved by only 0.23 and 0.33 compared with Base on the GSM8K and SVAMP datasets, respectively; with Llama-3-8B-Instruct, the improvements are 1.52 and 2.66, respectively. This is primarily because the model is trained on a larger corpus and has learned more knowledge, so the activations contain richer information and can better capture related representations. Robustness Analysis. We also conducted experiments on robustness, and the results are shown in Table 2 (more results are included in Appendix B.2). From this table, we can observe that RoT demonstrates a remarkable advancement over CoT in terms of robustness. We found that CoT methods are very sensitive to prompt design and sometimes fail to output the corresponding response based on the given instruction. However, our RoT extracts more essential information from the representation engineering level, making it more adaptable to various prompts. Note that for Llama-3-8B-Instruct, there are two datasets (SVAMP and Coin Flip) that do not provide robust performance gains. This is because Llama-3-8B-Instruct is a very strong model, while Coin Flip and SVAMP are two relatively easy tasks (as can be seen from the Table 1, the accuracy of CoTs in the SVAMP dataset is greater than 81%, and in the Coin Flip dataset is greater than 90%). These two factors may cause it to over-capture too many irrelevant concepts from the stimuli, thus pointing to the wrong reasoning direction. <details> <summary>x2.png Details</summary>  ### Visual Description ## Bar Chart: Model Accuracy vs. Model Size ### Overview The image is a bar chart comparing the accuracy of two models, "Base" and "RoT," across three different model sizes: 7B, 13B, and 70B. The y-axis represents accuracy in percentage, ranging from 20% to 60%. The x-axis represents the model size. ### Components/Axes * **X-axis:** Model Size (7B, 13B, 70B) * **Y-axis:** Accuracy (%) with a scale from 20 to 60, incrementing by 5. * **Legend:** Located in the top-left corner. * "Base" is represented by a darker blue bar. * "RoT" is represented by a lighter blue bar. ### Detailed Analysis The chart presents accuracy values for each model size for both the "Base" and "RoT" models. * **7B Model Size:** * Base: 26.00% * RoT: 25.55% * **13B Model Size:** * Base: 35.63% * RoT: 36.47% * **70B Model Size:** * Base: 52.08% * RoT: 52.39% **Trend Verification:** For both "Base" and "RoT" models, the accuracy increases as the model size increases from 7B to 70B. ### Key Observations * The accuracy of both models increases significantly as the model size increases. * The "RoT" model shows a slightly higher accuracy than the "Base" model for the 13B and 70B model sizes, but a slightly lower accuracy for the 7B model size. * The most significant jump in accuracy occurs when moving from the 13B model size to the 70B model size for both models. ### Interpretation The data suggests that increasing the model size has a positive impact on the accuracy of both the "Base" and "RoT" models. The "RoT" model appears to perform slightly better than the "Base" model at larger model sizes, indicating that the "RoT" modifications may be more effective as the model scales up. The substantial increase in accuracy from 13B to 70B suggests diminishing returns may not yet be a factor at these scales, and further scaling could potentially lead to even higher accuracy. The difference between the two models is minimal, suggesting that the "RoT" modification is not a major factor in determining accuracy. </details> (a) Larger scale <details> <summary>x3.png Details</summary>  ### Visual Description ## Bar Chart: Mean Values (%) vs. Layer ### Overview The image is a bar chart comparing the mean values (in percentage) across different layers. The chart also includes a horizontal dashed line representing the "CoT accuracy" at 46%. The x-axis represents the layer, with values 32, 64, 128, 256, and 512. The y-axis represents the mean values in percentage, ranging from 0 to 60. ### Components/Axes * **X-axis:** "Layer" with values 32, 64, 128, 256, and 512. * **Y-axis:** "Mean Values (%)" ranging from 0 to 60, with increments of 10. * **Bars:** Blue bars representing the mean values for each layer. * **Horizontal Line:** A dashed red line representing "CoT accuracy = 46". * **Legend:** Located at the bottom-left, indicating the red dashed line represents "CoT accuracy = 46". ### Detailed Analysis The chart displays the following data points: * **Layer 32:** Mean Value = 54.33% * **Layer 64:** Mean Value = 54.33% * **Layer 128:** Mean Value = 54.33% * **Layer 256:** Mean Value = 53.78% (with a small error bar) * **Layer 512:** Mean Value = 53.67% (with a small error bar) The CoT accuracy is represented by a horizontal dashed red line at 46%. ### Key Observations * The mean values are relatively consistent across all layers, hovering around 54%. * The mean values for layers 256 and 512 are slightly lower than layers 32, 64, and 128. * All mean values are significantly higher than the CoT accuracy of 46%. ### Interpretation The chart suggests that the mean values (%) are relatively stable across different layers (32 to 512). The fact that all mean values are above the CoT accuracy indicates that the model performs better than the CoT accuracy across all tested layers. The slight decrease in mean values for layers 256 and 512 might indicate a slight performance degradation at higher layers, but the difference is minimal. The error bars on layers 256 and 512 suggest a small variance in the measurements for those layers. </details> (b) Numbers of samples. <details> <summary>x4.png Details</summary>  ### Visual Description ## Bar Chart: Mean Values by Layer ### Overview The image is a bar chart comparing the mean values (%) across different layers (1, 3, 5, 10, and 15). The chart also includes a horizontal dashed red line representing the "CoT accuracy = 46". The bars are blue. ### Components/Axes * **X-axis:** "Layer" with values 1, 3, 5, 10, and 15. * **Y-axis:** "Mean Values (%)" ranging from 0 to 60. * **Bars:** Blue bars representing the mean values for each layer. * **Horizontal Line:** A dashed red line labeled "CoT accuracy = 46". * **Legend:** Located at the bottom-left, indicating the dashed red line represents "CoT accuracy = 46". ### Detailed Analysis * **Layer 1:** Mean Value = 53.67 * **Layer 3:** Mean Value = 53.67 * **Layer 5:** Mean Value = 54.33 * **Layer 10:** Mean Value = 53.67 * **Layer 15:** Mean Value = 45.0 * **CoT Accuracy:** Represented by a dashed red line at approximately 46. ### Key Observations * The mean values for layers 1, 3, 5, and 10 are relatively consistent, hovering around 53-54. * The mean value for layer 15 is significantly lower at 45.0. * The CoT accuracy line at 46 serves as a baseline for comparison. ### Interpretation The chart suggests that the mean values are relatively stable across layers 1 to 10, with a slight peak at layer 5. However, there is a noticeable drop in the mean value at layer 15. This could indicate that performance decreases at higher layers. The CoT accuracy line provides a reference point, showing that the mean values for layers 1 to 10 are significantly higher than the CoT accuracy, while the mean value for layer 15 is closer to it. This might imply that the model's performance degrades and approaches the CoT accuracy level at layer 15. </details> (c) Last layer Figure 2: Ablation study of our approch. (a) Results on a larger scale on the GSM8K dataset. (b) Results on the number of samples on the SVAMP dataset. (c) Results on the number of selected layers on the SVAMP dataset. Results on Larger Models. To further demonstrate the effectiveness of our approach, we conduct research on a larger scale. Specifically, we follow the few-shot settings, and evaluate two larger models (Llama-2-13B-Chat and Llama-2-70B-Chat) on the GSM8K dataset. From Figure 2, we can see that our approach has improved performance on both 13B and 70B, but the improvement on 70B is smaller. We speculate that this is because the 70B model contains very rich knowledge, and the knowledge contained in a few demonstrations has limited improvement on the model. <details> <summary>x5.png Details</summary>  ### Visual Description ## Math Problem with Solution ### Overview The image presents a math problem about calculating the number of peaches John collects, along with a solution. The problem states that John collects peaches for 3 hours and can collect 2 peaches per minute. The question asks how many peaches he collects in total. The solution attempts to multiply the time spent collecting by the number of peaches collected per minute, but the calculation is incorrect. ### Components/Axes * **Problem Statement:** "John collects peaches for 3 hours. He can collect 2 peaches a minute. How many peaches does he collect?" * **Solution Explanation:** "To find out how many peaches John collects, we need to multiply the time he spends collecting peaches (3 hours) by the number of peaches he can collect per minute (2 peaches/minute). So" * **Incorrect Calculation:** "John collects: 3 hours x 2 peaches/minute = 6 peaches. Therefore, John collects 6 peaches." * **Colored Blocks:** There are green and red colored blocks with numerical values above them. The values are: 0.62 (green), -0.15 (red), 0.62 (green), -0.09 (red), 0.62 (green), -0.32 (red), 0.62 (green), -0.06 (red). ### Detailed Analysis or Content Details The problem is a straightforward multiplication problem, but the solution provided is incorrect. The error lies in not converting the time units to be consistent. The time is given in hours, while the rate of collection is given in peaches per minute. To solve the problem correctly: 1. Convert 3 hours to minutes: 3 hours * 60 minutes/hour = 180 minutes 2. Multiply the total minutes by the number of peaches collected per minute: 180 minutes * 2 peaches/minute = 360 peaches Therefore, John collects 360 peaches. The colored blocks with numerical values appear to be unrelated to the problem and solution. They might be artifacts or remnants from an image processing or editing tool. ### Key Observations * The problem is clearly stated. * The solution provided is incorrect due to a failure to convert units. * The colored blocks with numerical values are irrelevant to the problem. * The correct answer is 360 peaches. ### Interpretation The image presents a math problem and an incorrect solution. The error highlights the importance of unit conversion in problem-solving. The presence of irrelevant colored blocks suggests that the image might have been edited or processed, leaving behind these artifacts. The problem is designed to test basic multiplication skills and the understanding of time units. The incorrect solution could be a deliberate mistake to encourage critical thinking and problem-solving skills. </details> Figure 3: A real case of reasoning error localization by using Llama-2-7B-Chat in a zero-shot scenario on GSM8K using Algorithm 1. The green bar indicates that the reasoning snippet is correct, and the red bar means that the reasoning snippet may be wrong. The numbers in the bar are the scores calculated by Algorithm 1. Case Study of Reasoning Error Localization. We conducted a reasoning error localization experiment. We can calculate the token-level score with Algorithm 1 through our approach. Figure 3 shows that our approach can localize those errors in the response through CoT. In this case, Llama-2-7B-Chat did not really understand the known information in the given question and calculated different units (hour and minute). Specifically, before calculating the hour and minute tokens, the scores of the tokens are all greater than zero, indicating no potential errors, while when calculating the hour and minute tokens, our method detects potential conflicts with previous knowledge and thus obtains a score less than zero. We also show our additional case study in Appendix D. Table 3: Results for different sample selection strategies. | Llama-2-7B-Chat Llama-3-8B-Instruct | 23.43 74.22 | 25.55 74.37 | 25.32 74.52 | 25.24 74.37 | 25.32 73.92 | 25.30 74.27 | | --- | --- | --- | --- | --- | --- | --- | 6.3 Ablation Study Number of Samples. We conducted an ablation study on how to select samples and how many samples $N$ in the stimulus set for constructing neural populations are sufficient. For the sample selection strategy, we focus on two different strategies and evaluate these on the GSM8K dataset: 1) Random strategy. We randomly select samples in the training dataset using three random seeds. 2) Low Perplexity strategy. We select samples based on low perplexity. 3) High Perplexity strategy. Similar to the low perplexity strategy, we select samples based on high perplexity. As shown in Table 3, we can observe that the high perplexity strategy has better and more generalized performance. This is because high perplexity usually means low confidence in LLMs. Therefore, if a question has a higher perplexity, the question has more latent knowledge information. For the number of samples $N$ , we consider the set $N=\{32,64,128,256,512\}$ and calculate their average accuracy scores on the SVAMP dataset using three different seeds. From Figure 2, we can see that the performance is quite stable for different numbers of samples. However, there is still a little decrease when $N$ is large enough. This is because when $N$ is large enough, the representation spaces contain richer information. Thus, adding the directions in (4) will make the query lose more of its query information, causing a lower accuracy. Number of Selected Layers. Here we study the effect of different numbers of selected layers $|\mathcal{K}|$ for neural populations. While LLMs have many layers, such as Llama-2-7B, which contains 32 layers, recent studies have shown that not all layers store important information about reasoning and that this information is usually found in the last layers of the model (Fan et al., 2024; Cosentino & Shekkizhar, 2024). Therefore, we consider the last $L$ layers, where $L=\{1,3,5,10,15\}$ . In this experiment, we evaluate it with three different seeds. Figure 2 displays the result of average accuracy scores on the SVAMP dataset. From this figure, we can see that the accuracy first increases and then shows a decreasing trend as the number of control layers increases. This is because when the number of layers is very small, each manipulation will correct some of the reasoning errors. However, in RoT we have to manipulate each activation in the layer of the set $\mathcal{K}$ , and each manipulation will lose some information about the query. Thus, the accuracy decreases when the number of layers is larger. 7 Conclusion In this paper, we proposed a novel framework to explain and understand the fundamental factors behind CoT’s success. Specifically, we first connected CoT reasoning and the Hopfieldian view of cognition in cognitive neuroscience. Then, we developed a method for localizing reasoning errors and proposed the RoT framework to enhance the robustness of the reasoning process in CoTs. Experimental results demonstrate that RoT improves the robustness and interpretability of CoT reasoning while offering fine-grained control over the reasoning process. References - Arditi et al. (2024) Andy Arditi, Oscar Obeso, Aaquib Syed, Daniel Paleka, Nina Rimsky, Wes Gurnee, and Neel Nanda. Refusal in language models is mediated by a single direction. CoRR, abs/2406.11717, 2024. - Barack & Krakauer (2021) David L Barack and John W Krakauer. Two views on the cognitive brain. Nature Reviews Neuroscience, 22(6):359–371, 2021. - Barlow (1953) Horace B Barlow. Summation and inhibition in the frog’s retina. The Journal of physiology, 119(1):69, 1953. - Bechtel (2007) William Bechtel. Mental mechanisms: Philosophical perspectives on cognitive neuroscience. Psychology Press, 2007. - Belinkov (2022) Yonatan Belinkov. Probing classifiers: Promises, shortcomings, and advances. Comput. Linguistics, 48(1):207–219, 2022. - Bricken et al. (2023) Trenton Bricken, Adly Templeton, Joshua Batson, Brian Chen, Adam Jermyn, Tom Conerly, Nicholas L Turner, Cem Anil, Carson Denison, Amanda Askell, et al. Towards monosemanticity: Decomposing language models with dictionary learning. Transformer Circuits Thread, 2023. - Burns et al. (2023) Collin Burns, Haotian Ye, Dan Klein, and Jacob Steinhardt. Discovering latent knowledge in language models without supervision. In Proceedings of ICLR 2023, 2023. - Cheng et al. (2024a) Keyuan Cheng, Muhammad Asif Ali, Shu Yang, Gang Lin, Yuxuan Zhai, Haoyang Fei, Ke Xu, Lu Yu, Lijie Hu, and Di Wang. Leveraging logical rules in knowledge editing: A cherry on the top. CoRR, abs/2405.15452, 2024a. - Cheng et al. (2024b) Keyuan Cheng, Gang Lin, Haoyang Fei, Yuxuan Zhai, Lu Yu, Muhammad Asif Ali, Lijie Hu, and Di Wang. Multi-hop question answering under temporal knowledge editing. CoRR, abs/2404.00492, 2024b. - Clark et al. (2019) Kevin Clark, Urvashi Khandelwal, Omer Levy, and Christopher D. Manning. What does BERT look at? an analysis of bert’s attention. In Proceedings of ACL 2019, pp. 276–286, 2019. - Cobbe et al. (2021) Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, et al. Training verifiers to solve math word problems. CoRR, abs/2110.14168, 2021. - Cosentino & Shekkizhar (2024) Romain Cosentino and Sarath Shekkizhar. Reasoning in large language models: A geometric perspective. CoRR, abs/2407.02678, 2024. - Creswell & Shanahan (2022) Antonia Creswell and Murray Shanahan. Faithful reasoning using large language models. CoRR, abs/2208.14271, 2022. - Dale et al. (2023) David Dale, Elena Voita, Loïc Barrault, and Marta R. Costa-jussà. Detecting and mitigating hallucinations in machine translation: Model internal workings alone do well, sentence similarity even better. In Proceedings of ACL 2023, pp. 36–50, 2023. - Dutta et al. (2024) Subhabrata Dutta, Joykirat Singh, Soumen Chakrabarti, and Tanmoy Chakraborty. How to think step-by-step: A mechanistic understanding of chain-of-thought reasoning. CoRR, abs/2402.18312, 2024. - Fan et al. (2024) Siqi Fan, Xin Jiang, Xiang Li, Xuying Meng, Peng Han, Shuo Shang, Aixin Sun, Yequan Wang, and Zhongyuan Wang. Not all layers of llms are necessary during inference. CoRR, abs/2403.02181, 2024. - Fong & Vedaldi (2018) Ruth Fong and Andrea Vedaldi. Net2vec: Quantifying and explaining how concepts are encoded by filters in deep neural networks. In Proceedings of CVPR 2018, pp. 8730–8738, 2018. - Gandikota et al. (2023) Rohit Gandikota, Joanna Materzynska, Jaden Fiotto-Kaufman, and David Bau. Erasing concepts from diffusion models. In Proceedings of ICCV 2023, pp. 2426–2436, 2023. - Geva et al. (2021) Mor Geva, Daniel Khashabi, Elad Segal, Tushar Khot, Dan Roth, and Jonathan Berant. Did aristotle use a laptop? A question answering benchmark with implicit reasoning strategies. Trans. Assoc. Comput. Linguistics, 9:346–361, 2021. - Hopfield (1982) John J Hopfield. Neural networks and physical systems with emergent collective computational abilities. Proceedings of the national academy of sciences, 79(8):2554–2558, 1982. - Hopfield (1984) John J Hopfield. Neurons with graded response have collective computational properties like those of two-state neurons. Proceedings of the national academy of sciences, 81(10):3088–3092, 1984. - Hopfield & Tank (1986) John J Hopfield and David W Tank. Computing with neural circuits: A model. Science, 233(4764):625–633, 1986. - Hu et al. (2023a) Lijie Hu, Ivan Habernal, Lei Shen, and Di Wang. Differentially private natural language models: Recent advances and future directions. CoRR, abs/2301.09112, 2023a. - Hu et al. (2023b) Lijie Hu, Yixin Liu, Ninghao Liu, Mengdi Huai, Lichao Sun, and Di Wang. Improving faithfulness for vision transformers. CoRR, abs/2311.17983, 2023b. - Hu et al. (2023c) Lijie Hu, Yixin Liu, Ninghao Liu, Mengdi Huai, Lichao Sun, and Di Wang. SEAT: stable and explainable attention. In Brian Williams, Yiling Chen, and Jennifer Neville (eds.), Proceedings of AAAI 2023, pp. 12907–12915, 2023c. - Hu et al. (2024) Lijie Hu, Chenyang Ren, Zhengyu Hu, Cheng-Long Wang, and Di Wang. Editable concept bottleneck models. CoRR, abs/2405.15476, 2024. - Jain & Wallace (2019) Sarthak Jain and Byron C. Wallace. Attention is not explanation. In Proceedings of NAACL-HLT 2019, pp. 3543–3556, 2019. - Jin et al. (2024) Mingyu Jin, Qinkai Yu, Dong Shu, Haiyan Zhao, Wenyue Hua, Yanda Meng, Yongfeng Zhang, and Mengnan Du. The impact of reasoning step length on large language models. CoRR, abs/2401.04925, 2024. - Kim et al. (2018) Been Kim, Martin Wattenberg, Justin Gilmer, Carrie J. Cai, James Wexler, Fernanda B. Viégas, and Rory Sayres. Interpretability beyond feature attribution: Quantitative testing with concept activation vectors (TCAV). In Proceedings of ICML 2018, pp. 2673–2682, 2018. - Kim et al. (2023) Seungone Kim, Se June Joo, Yul Jang, Hyungjoo Chae, and Jinyoung Yeo. Cotever: Chain of thought prompting annotation toolkit for explanation verification. In Proceedings of EACL 2023, pp. 195–208, 2023. - Kojima et al. (2022) Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. Large language models are zero-shot reasoners. In Proceedings of NeurIPS 2022, 2022. - Lai et al. (2024) Songning Lai, Lijie Hu, Junxiao Wang, Laure Berti-Équille, and Di Wang. Faithful vision-language interpretation via concept bottleneck models. In Proceedings of ICLR 2024, 2024. - Lanham et al. (2023) Tamera Lanham, Anna Chen, Ansh Radhakrishnan, Benoit Steiner, Carson Denison, Danny Hernandez, Dustin Li, Esin Durmus, Evan Hubinger, Jackson Kernion, et al. Measuring faithfulness in chain-of-thought reasoning. CoRR, abs/2307.13702, 2023. - Li et al. (2024) Jia Li, Lijie Hu, Zhixian He, Jingfeng Zhang, Tianhang Zheng, and Di Wang. Text guided image editing with automatic concept locating and forgetting. CoRR, abs/2405.19708, 2024. - Lyu et al. (2023) Qing Lyu, Shreya Havaldar, Adam Stein, Li Zhang, Delip Rao, Eric Wong, Marianna Apidianaki, and Chris Callison-Burch. Faithful chain-of-thought reasoning. In Proceedings of IJCNLP 2023, pp. 305–329, 2023. - Meng et al. (2022) Kevin Meng, David Bau, Alex Andonian, and Yonatan Belinkov. Locating and editing factual associations in GPT. In Proceedings of NeurIPS 2022, 2022. - Merrill & Sabharwal (2023) William Merrill and Ashish Sabharwal. The expressive power of transformers with chain of thought. CoRR, abs/2310.07923, 2023. - Meta (2024) Meta. Introducing meta llama 3: The most capable openly available llm to date. Meta blog, 2024. - Mikolov et al. (2013) Tomás Mikolov, Wen-tau Yih, and Geoffrey Zweig. Linguistic regularities in continuous space word representations. In Proceedings of HLT-NAACL 2013, pp. 746–751, 2013. - Min et al. (2022) Sewon Min, Xinxi Lyu, Ari Holtzman, Mikel Artetxe, Mike Lewis, Hannaneh Hajishirzi, and Luke Zettlemoyer. Rethinking the role of demonstrations: What makes in-context learning work? In Proceedings of EMNLP 2022, pp. 11048–11064, 2022. - Mogenson (2018) Gordon J Mogenson. The neurobiology of Behavior: an introduction. Routledge, 2018. - Nguyen et al. (2019) Anh Nguyen, Jason Yosinski, and Jeff Clune. Understanding neural networks via feature visualization: A survey. In Proceedings of LNCS 2019, pp. 55–76, 2019. - Nguyen et al. (2016) Anh Mai Nguyen, Alexey Dosovitskiy, Jason Yosinski, Thomas Brox, and Jeff Clune. Synthesizing the preferred inputs for neurons in neural networks via deep generator networks. In Proceedings of NeurIPS 2016, pp. 3387–3395, 2016. - Nye et al. (2021) Maxwell I. Nye, Anders Johan Andreassen, Guy Gur-Ari, Henryk Michalewski, Jacob Austin, David Bieber, David Dohan, Aitor Lewkowycz, Maarten Bosma, David Luan, et al. Show your work: Scratchpads for intermediate computation with language models. CoRR, abs/2112.00114, 2021. - Olah et al. (2020) Chris Olah, Nick Cammarata, Ludwig Schubert, Gabriel Goh, Michael Petrov, and Shan Carter. Zoom in: An introduction to circuits. Distill, 5(3):e00024–001, 2020. - Olsson et al. (2022) Catherine Olsson, Nelson Elhage, Neel Nanda, Nicholas Joseph, Nova DasSarma, Tom Henighan, Ben Mann, Amanda Askell, Yuntao Bai, Anna Chen, et al. In-context learning and induction heads. CoRR, abs/2209.11895, 2022. - Ortiz-Jiménez et al. (2023) Guillermo Ortiz-Jiménez, Alessandro Favero, and Pascal Frossard. Task arithmetic in the tangent space: Improved editing of pre-trained models. In Proceedings of NeurIPS 2023, 2023. - Ouyang et al. (2022) Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, et al. Training language models to follow instructions with human feedback. In Proceedings of NeurIPS 2022, 2022. - Pan et al. (2023) Liangming Pan, Alon Albalak, Xinyi Wang, and William Wang. Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning. In Proceedings of EMNLP 2023, pp. 3806–3824, 2023. - Park et al. (2024) Kiho Park, Yo Joong Choe, and Victor Veitch. The linear representation hypothesis and the geometry of large language models. In Proceedings of ICML 2024, 2024. - Patel et al. (2021) Arkil Patel, Satwik Bhattamishra, and Navin Goyal. Are NLP models really able to solve simple math word problems? In Proceedings of NAACL-HLT 2021, pp. 2080–2094, 2021. - Pfau et al. (2024) Jacob Pfau, William Merrill, and Samuel R. Bowman. Let’s think dot by dot: Hidden computation in transformer language models. CoRR, abs/2404.15758, 2024. - Rae et al. (2021) Jack W. Rae, Sebastian Borgeaud, Trevor Cai, Katie Millican, Jordan Hoffmann, H. Francis Song, John Aslanides, Sarah Henderson, Roman Ring, Susannah Young, et al. Scaling language models: Methods, analysis & insights from training gopher. CoRR, abs/2112.11446, 2021. - Rai & Yao (2024) Daking Rai and Ziyu Yao. An investigation of neuron activation as a unified lens to explain chain-of-thought eliciting arithmetic reasoning of llms. arXiv preprint arXiv:2406.12288, 2024. - Shao et al. (2023) Shun Shao, Yftah Ziser, and Shay B. Cohen. Gold doesn’t always glitter: Spectral removal of linear and nonlinear guarded attribute information. In Proceedings of EACL 2023, pp. 1603–1614, 2023. - Sherrington (1906) Charles Scott Sherrington. Observations on the scratch-reflex in the spinal dog. The Journal of physiology, 34(1-2):1, 1906. - Simonyan et al. (2014) Karen Simonyan, Andrea Vedaldi, and Andrew Zisserman. Deep inside convolutional networks: Visualising image classification models and saliency maps. In Proceedings of ICLR 2014, 2014. - Smilkov et al. (2017) Daniel Smilkov, Nikhil Thorat, Been Kim, Fernanda B. Viégas, and Martin Wattenberg. Smoothgrad: removing noise by adding noise. CoRR, abs/1706.03825, 2017. - Szegedy et al. (2014) Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus. Intriguing properties of neural networks. In Proceedings of ICLR 2014, 2014. - Talmor et al. (2019) Alon Talmor, Jonathan Herzig, Nicholas Lourie, and Jonathan Berant. Commonsenseqa: A question answering challenge targeting commonsense knowledge. In Proceedings of NAACL-HLT 2019, pp. 4149–4158, 2019. - Tang et al. (2023) Xiaojuan Tang, Zilong Zheng, Jiaqi Li, Fanxu Meng, Song-Chun Zhu, Yitao Liang, and Muhan Zhang. Large language models are in-context semantic reasoners rather than symbolic reasoners. CoRR, abs/2305.14825, 2023. - Templeton et al. (2024) Adly Templeton, Tom Conerly, Jonathan Marcus, Jack Lindsey, Trenton Bricken, Brian Chen, Adam Pearce, Craig Citro, Emmanuel Ameisen, Andy Jones, et al. Scaling monosemanticity: Extracting interpretable features from claude 3 sonnet. Transformer Circuits Thread, 2024. - Tigges et al. (2023) Curt Tigges, Oskar John Hollinsworth, Atticus Geiger, and Neel Nanda. Linear representations of sentiment in large language models. arXiv preprint arXiv:2310.15154, 2023. - Touvron et al. (2023) Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, et al. Llama 2: Open foundation and fine-tuned chat models. CoRR, abs/2307.09288, 2023. - Vilas et al. (2024) Martina G. Vilas, Federico Adolfi, David Poeppel, and Gemma Roig. Position: An inner interpretability framework for AI inspired by lessons from cognitive neuroscience. In Proceedings of ICML 2024, 2024. - Voita et al. (2024) Elena Voita, Javier Ferrando, and Christoforos Nalmpantis. Neurons in large language models: Dead, n-gram, positional. In Lun-Wei Ku, Andre Martins, and Vivek Srikumar (eds.), Findings of ACL 2024, pp. 1288–1301, 2024. - Wang et al. (2023a) Boshi Wang, Sewon Min, Xiang Deng, Jiaming Shen, You Wu, Luke Zettlemoyer, and Huan Sun. Towards understanding chain-of-thought prompting: An empirical study of what matters. In Proceedings of ACL 2023, pp. 2717–2739, 2023a. - Wang et al. (2023b) Kevin Ro Wang, Alexandre Variengien, Arthur Conmy, Buck Shlegeris, and Jacob Steinhardt. Interpretability in the wild: a circuit for indirect object identification in GPT-2 small. In Proceedings of ICLR 2023, 2023b. - Wang & Zhou (2024) Xuezhi Wang and Denny Zhou. Chain-of-thought reasoning without prompting. CoRR, abs/2402.10200, 2024. - Wang et al. (2023c) Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc V. Le, Ed H. Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. Self-consistency improves chain of thought reasoning in language models. In Proceedings of ICLR 2023, 2023c. - Wei et al. (2022) Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, and Denny Zhou. Chain-of-thought prompting elicits reasoning in large language models. In Proceedings of NeurIPS 2022, 2022. - Weng et al. (2023) Yixuan Weng, Minjun Zhu, Fei Xia, Bin Li, Shizhu He, Shengping Liu, Bin Sun, Kang Liu, and Jun Zhao. Large language models are better reasoners with self-verification. In Proceedings of EMNLP 2023, pp. 2550–2575, 2023. - Yang et al. (2024a) Shu Yang, Muhammad Asif Ali, Cheng-Long Wang, Lijie Hu, and Di Wang. Moral: Moe augmented lora for llms’ lifelong learning. CoRR, abs/2402.11260, 2024a. - Yang et al. (2024b) Shu Yang, Lijie Hu, Lu Yu, Muhammad Asif Ali, and Di Wang. Human-ai interactions in the communication era: Autophagy makes large models achieving local optima. CoRR, abs/2402.11271, 2024b. - Yang et al. (2024c) Shu Yang, Jiayuan Su, Han Jiang, Mengdi Li, Keyuan Cheng, Muhammad Asif Ali, Lijie Hu, and Di Wang. Dialectical alignment: Resolving the tension of 3h and security threats of llms. CoRR, abs/2404.00486, 2024c. - Zhang et al. (2023) Ziyin Zhang, Chaoyu Chen, Bingchang Liu, Cong Liao, Zi Gong, Hang Yu, Jianguo Li, and Rui Wang. A survey on language models for code. CoRR, abs/2311.07989, 2023. - Zhao et al. (2023) Ruochen Zhao, Xingxuan Li, Shafiq Joty, Chengwei Qin, and Lidong Bing. Verify-and-edit: A knowledge-enhanced chain-of-thought framework. In Proceedings of ACL 2023, pp. 5823–5840, 2023. - Zhong et al. (2023) Zexuan Zhong, Zhengxuan Wu, Christopher D. Manning, Christopher Potts, and Danqi Chen. Mquake: Assessing knowledge editing in language models via multi-hop questions. In Proceedings of EMNLP 2023, pp. 15686–15702, 2023. - Zhou et al. (2023) Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc V. Le, and Ed H. Chi. Least-to-most prompting enables complex reasoning in large language models. In Proceedings of ICLR 2023, 2023. - Zou et al. (2023) Andy Zou, Long Phan, Sarah Chen, James Campbell, Phillip Guo, Richard Ren, Alexander Pan, Xuwang Yin, Mantas Mazeika, Ann-Kathrin Dombrowski, et al. Representation engineering: A top-down approach to AI transparency. CoRR, abs/2310.01405, 2023. Appendix A Additional Preliminaries The Sherringtonian View. Unlike the Hopfieldian perspective, the Sherringtonian view (Sherrington, 1906; Barlow, 1953) of cognitive explanation emphasizes the importance of direct neuron-to-neuron connections in the brain. This view posits that the primary explanation for cognition lies in the specific interactions between neurons and the computations these neurons perform within well-defined circuits (Mogenson, 2018). At an algorithmic level, the Sherringtonian view conceptualizes cognition as networks of nodes (neurons) with weighted connections (synapses) between them. In this framework, neurons perform distinct computational transformations on the signals they receive from other neurons in the network. Cognitive processes are described by how individual neurons receive inputs, process these inputs through neural transfer functions, and transmit the resulting signals to connected neurons. Thus, cognition is explained through the computations occurring at the level of individual neurons and the signal flow across their connections. Zero-shot CoT. Zero-shot CoT is a simple but effective chain of thought (CoT) prompting approach proposed by Kojima et al. (2022). It allows language models to generate a step-by-step explanation or thought process to solve problems without requiring prior demonstrations or specific training by simply adding “ Let’s think step by step ” before each answer. Specifically, given a query $q$ and a model $\mathcal{M}$ with weights $\theta$ , the generation process can be defined as: $$ R=\mathrm{arg\ max}\ pr(\mathcal{R}|q,t;\theta) \tag{5} $$ where $R$ is the response text of the model, which is generated from all potential responses $\mathcal{R}$ , and $t$ is a prompt text like “ Let’s think sttep by step. ” Few-shot CoT. Similar to zero-shot CoT, few-shot CoT (Wei et al., 2022) is also a prompting technique that gives a few examples with step-by-step reasoning processes to stimulate the model’s reasoning ability. Formally, given the query $q$ and a set of demonstrations $D=\{(\tilde{q}_{1},\tilde{a}_{1}),(\tilde{q}_{2},\tilde{a}_{2}),...\}$ , our aim is to generate a response with intermediate reasoning steps: $$ R=\mathrm{arg\ max}\ pr(\mathcal{R}|D,q;\theta) \tag{6} $$ Table 4: Statistics of the data set. | GSM8K | Arithmetic | 1319 | Number | | --- | --- | --- | --- | | SVAMP | Arithmetic | 300 | Number | | StrategyQA | Commonsense | 2290 | Yes or No | | CSQA | Commonsense | 1221 | Multiple Choices | | Coin Flip | Symbolic | 2000 | Yes or No | | Random Letter | Symbolic | 300 | Letter | Appendix B Other Experimental Details B.1 Dataset The statistics of the data is shown in Table 4. The details about each data set are as follows: Arithmetic Reasoning. The arithmetic reasoning benchmarks aim to analyze and/or understand the model’s mathematical reasoning skills. These include: (i) GSM8K Cobbe et al. (2021), a math word problems benchmark encompassing a variety of reasoning steps; (ii) SVAMP Patel et al. (2021), containing math word problems with multiple structures. Commonsense Reasoning. These data sets aim to analyze the ability of the model on commonsense reasoning tasks. These include: (i) StrategyQA Geva et al. (2021), a commonsense benchmark requiring multi-level strategy to answer the question; (ii) CSQA Talmor et al. (2019) benchmark dataset of multiple-choice questions that require different types of commonsense knowledge to predict the correct answers. Symbolic Reasoning. These data sets aim to test the abilities of the model requiring advanced symbolic capabilities. For this task, we curated two new datasets, as follows. (i) Coin Flip dataset, we employ the data curation strategy of a previous study Wei et al. (2022) using the number of operations as 2, 4 and 7 to come up with the complete dataset; (ii) Random Letter, an advanced version of the last letter concatenation with reference to the previously studied form of word assembly Wei et al. (2022), where 2-4 words are randomly formed and characters are randomly drawn from them, instead of taking the beginning or the end of each word at a fixed point. Table 5: The detailed robust results in the zero-shot settings. | CoT Z1 CoT Z2 CoT Z3 | 26.31 26.23 23.58 | 46.00 48.33 51.67 | 43.41 43.90 46.68 | 62.05 60.52 63.54 | 52.75 48.35 50.10 | 24.33 17.67 17.33 | | --- | --- | --- | --- | --- | --- | --- | | \hdashline RoT Z1 | 26.23 | 54.33 | 48.24 | 63.54 | 45.45 | 20.67 | | RoT Z2 | 24.72 | 53.67 | 47.91 | 63.58 | 45.50 | 20.67 | | RoT Z3 | 25.09 | 53.67 | 47.42 | 63.23 | 45.35 | 20.33 | | Llama-3-8B-Instruct | | | | | | | | CoT Z1 | 74.45 | 82.33 | 72.24 | 66.07 | 90.45 | 43.00 | | CoT Z2 | 74.83 | 83.33 | 72.65 | 63.32 | 83.55 | 42.00 | | CoT Z3 | 58.15 | 40.67 | 73.71 | 63.10 | 89.40 | 33.67 | | \hdashline RoT Z1 | 74.83 | 83.33 | 72.89 | 65.24 | 76.35 | 47.67 | | RoT Z2 | 74.91 | 83.33 | 72.73 | 64.93 | 71.95 | 46.67 | | RoT Z3 | 73.62 | 82.00 | 72.48 | 65.50 | 68.15 | 42.00 | Table 6: The detailed robust results in the few-shot settings. | CoT F1 CoT F2 \hdashline RoT F1 | 4.62 3.18 25.55 | 38.67 38.67 56.00 | 53.07 50.29 48.16 | 59.26 59.74 63.80 | 47.60 50.30 45.50 | 31.00 29.00 20.33 | | --- | --- | --- | --- | --- | --- | --- | | RoT F2 | 25.63 | 55.33 | 48.16 | 65.68 | 45.50 | 20.33 | | Llama-3-8B-Instruct | | | | | | | | CoT F1 | 72.02 | 81.00 | 73.63 | 62.75 | 96.50 | 50.67 | | CoT F2 | 72.25 | 80.67 | 72.89 | 67.47 | 95.00 | 50.67 | | \hdashline RoT F1 | 74.37 | 83.67 | 73.30 | 65.94 | 70.30 | 43.67 | | RoT F2 | 74.00 | 83.33 | 73.63 | 65.68 | 69.85 | 42.67 | B.2 Details of Robust Experiment We show our detailed results of the robustness in Table 5 and 6. For zero-shot settings, the terms $Z1$ , $Z2$ , and $Z3$ refer to the use of three different prompts, respectively (as shown in Section 6). For few-shot settings, the terms $F1$ and $F2$ also refer to two different experiments, as shown in Section 6. Table 7: The stimulus prompting design for CoT-style methods. | zero-shot CoT | USER: <question> ASSISTANT: Let’s think step by step. | | --- | --- | | USER: <question> ASSISTANT: | | | few-shot CoT | USER: < $n$ different examples> <question> ASSISTANT: | | USER: <question> ASSISTANT: | | Appendix C Prompts C.1 Prompt Templates Table 7 illustrates the design of stimulus prompts utilized for Chain of Thought (CoT) prompting, distinguishing between zero-shot CoT and few-shot CoT methodologies. In the zero-shot CoT approach, the model is presented with a question devoid of preceding examples, in contrast to the few-shot CoT method, where the model is furnished with multiple exemplars. For each method, the first row is a positive prompt and the second is a negative prompt. Red indicates stimulus token. Table 8: Extraction templates for various tasks. | StrategyQA CSQA Coin Flip | Therefore, the answer (Yes or No) is Therefore, among A through E, the answer is Therefore, the answer (Yes or No) is | | --- | --- | | Random Letter | Therefore, the answer is | Table 9: Few-shot exemplars for the full chain of thought prompt for the arithmetic reasoning task. The highlighted part refers to the reasoning steps. | Prompt for GSM8K and SVAMP | | --- | | Q: There are 15 trees in the grove. Grove workers will plant trees in the grove today. After they are done, there will be 21 trees. How many trees did the grove workers plant today? | | A: There are 15 trees originally. Then there were 21 trees after some more were planted. So there must have been 21 - 15 = 6. The answer is 6. | | Q: If there are 3 cars in the parking lot and 2 more cars arrive, how many cars are in the parking lot? | | A: There are originally 3 cars. 2 more cars arrive. 3 + 2 = 5. The answer is 5. | | Q: Leah had 32 chocolates and her sister had 42. If they ate 35, how many pieces do they have left in total? | | A: Originally, Leah had 32 chocolates. Her sister had 42. So in total they had 32 + 42 = 74. After eating 35, they had 74 - 35 = 39. The answer is 39. | | Q: Jason had 20 lollipops. He gave Denny some lollipops. Now Jason has 12 lollipops. How many lollipops did Jason give to Denny? | | A: Jason started with 20 lollipops. Then he had 12 after giving some to Denny. So he gave Denny 20 - 12 = 8. The answer is 8. | | Q: Shawn has five toys. For Christmas, he got two toys each from his mom and dad. How many toys does he have now? | | A: Shawn started with 5 toys. If he got 2 toys each from his mom and dad, then that is 4 more toys. 5 + 4 = 9. The answer is 9. | | Q: There were nine computers in the server room. Five more computers were installed each day, from Monday to Thursday. How many computers are now in the server room? | | A: There were originally 9 computers. For each of 4 days, 5 more computers were added. So 5 * 4 = 20 computers were added. 9 + 20 is 29. The answer is 29. | | Q: Michael had 58 golf balls. On Tuesday, he lost 23 golf balls. On Wednesday, he lost 2 more. How many golf balls did he have at the end of Wednesday? | | A: Michael started with 58 golf balls. After losing 23 on Tuesday, he had 58 - 23 = 35. After losing 2 more, he had 35 - 2 = 33 golf balls. The answer is 33. | | Q: Olivia has $23. She bought five bagels for $3 each. How much money does she have left? | | A: Olivia had 23 dollars. 5 bagels for 3 dollars each will be 5 x 3 = 15 dollars. So she has 23 - 15 dollars left. 23 - 15 is 8. The answer is 8. | C.2 Answer Extract Prompts The demonstration of our answer extraction method is in Table 8. C.3 Example Prompts for Few-shot Setting We demonstrate our example prompts for few-shot setting in Table 9, 10, 11, 12 and 13. Table 10: Few-shot exemplars for the full chain of thought prompt for StrategyQA. The highlighted part refers to the reasoning steps. | Prompt for StrategyQA | | --- | | Q: Do hamsters provide food for any animals? | | A: Hamsters are prey animals. Prey are food for predators. Thus, hamsters provide food for some animals. So the answer is yes. | | Q: Could Brooke Shields succeed at University of Pennsylvania? | | A: Brooke Shields went to Princeton University. Princeton University is about as academically rigorous as the University of Pennsylvania. Thus, Brooke Shields could also succeed at the University of Pennsylvania. So the answer is yes. | | Q: Yes or no: Hydrogen’s atomic number squared exceeds number of Spice Girls? | | A: Hydrogen has an atomic number of 1. 1 squared is 1. There are 5 Spice Girls. Thus, Hydrogen’s atomic number squared is less than 5. So the answer is no. | | Q: Yes or no: Is it common to see frost during some college commencements? | | A: College commencement ceremonies can happen in December, May, and June. December is in the winter, so there can be frost. Thus, there could be frost at some commencements. So the answer is yes. | | Q: Yes or no: Could a llama birth twice during War in Vietnam (1945-46)? | | A: The War in Vietnam was 6 months. The gestation period for a llama is 11 months, which is more than 6 months. Thus, a llama could not give birth twice during the War in Vietnam. So the answer is no. | | Q: Yes or no: Would a pear sink in water? | | A: The density of a pear is about $0.6g/cm^{3}$ , which is less than water. Objects less dense than water float. Thus, a pear would float. So the answer is no. | Table 11: Few-shot exemplars for the full chain of thought prompt for CSQA. The highlighted part refers to the reasoning steps. There are newlines between the answer choices that are omitted in the table for space reasons. | Prompt for CSQA | | --- | | Q: What do people use to absorb extra ink from a fountain pen? Answer Choices: (a) shirt pocket (b) calligrapher’s hand (c) inkwell (d) desk drawer (e) blotter | | A: The answer must be an item that can absorb ink. Of the above choices, only blotters are used to absorb ink. So the answer is (e). | | Q: What home entertainment equipment requires cable? | | Answer Choices: (a) radio shack (b) substation (c) television (d) cabinet | | A: The answer must require cable. Of the above choices, only television requires cable. So the answer is (c). | | Q: The fox walked from the city into the forest, what was it looking for? Answer Choices: (a) pretty flowers (b) hen house (c) natural habitat (d) storybook | | A: The answer must be something in the forest. Of the above choices, only natural habitat is in the forest. So the answer is (b). | | Q: Sammy wanted to go to where the people were. Where might he go? Answer Choices: (a) populated areas (b) race track (c) desert (d) apartment (e) roadblock | | A: The answer must be a place with a lot of people. Of the above choices, only populated areas have a lot of people. So the answer is (a). | | Q: Where do you put your grapes just before checking out? Answer Choices: (a) mouth (b) grocery cart (c)super market (d) fruit basket (e) fruit market | | A: The answer should be the place where grocery items are placed before checking out. Of the above choices, grocery cart makes the most sense for holding grocery items. So the answer is (b). | | Q: Google Maps and other highway and street GPS services have replaced what? Answer Choices: (a) united states (b) mexico (c) countryside (d) atlas | | A: The answer must be something that used to do what Google Maps and GPS services do, which is to give directions. Of the above choices, only atlases are used to give directions. So the answer is (d). | | Q: Before getting a divorce, what did the wife feel who was doing all the work? Answer Choices: (a) harder (b) anguish (c) bitterness (d) tears (e) sadness | | A: The answer should be the feeling of someone getting divorced who was doing all the work. Of the above choices, the closest feeling is bitterness. So the answer is (c). | Table 12: Few-shot exemplars for the full chain of thought prompt for the random letter concatenation task. The highlighted part refers to the reasoning steps. | Prompt for Rondom Letter Concatenation | | --- | | Q: Take the first letters of the words in "James Hickman " and concatenate them. | | A: The first letter of "James" is "J". The first letter of "Hickman" is "H". Concatenating them is "JH". The answer is JH. | | Q: Take the second letters of the words in "Carl Mccall Bonilla " and concatenate them. | | A: The second letter of "Carl" is "a". The second letter of "Mccall" is "c". The second letter of "Bonilla" is "o" Concatenating them is "aco". The answer is aco. | | Q: Take the third letters of the words in "Randy Tanner " and concatenate them. | | A: The third letter of "Randy" is "n". The third letter of "Tanner" is "n". Concatenating them is "nn". The answer is nn. | | Q: Take the first letters of the words in "Kenny Kim " and concatenate them. | | A: The first letter of "Kenny" is "K". The first letter of "Kim" is "K". Concatenating them is "KK". The answer is KK. | Table 13: Few-shot exemplars for the full chain of thought prompt for the coin flip task. The highlighted part refers to the reasoning steps. | Prompt for Coin Flip | | --- | | Q: A coin is heads up. Ka flips the coin. Sherrie flips the coin. Is the coin still heads up? | | A: The coin was flipped by Ka and Sherrie. So the coin was flipped 2 times, which is an even number. The coin started heads up, so after an even number of flips, it will still be heads up. So the answer is yes. | | Q: A coin is heads up. Jamey flips the coin. Teressa flips the coin. Is the coin still heads up? | | A: The coin was flipped by Jamey and Teressa. So the coin was flipped 2 times, which is an even number. The coin started heads up, so after an even number of flips, it will still be heads up. So the answer is yes. | | Q: A coin is heads up. Maybelle flips the coin. Shalonda does not flip the coin. Is the coin still heads up? | | A: The coin was flipped by Maybelle. So the coin was flipped 1 time, which is an odd number. The coin started heads up, so after an odd number of flips, it will be tails up. So the answer is no. | | Q: A coin is heads up. Millicent does not flip the coin. Conception flips the coin. Is the coin still heads up? | | A: The coin was flipped by Conception. So the coin was flipped 1 time, which is an odd number. The coin started heads up, so after an odd number of flips, it will be tails up. So the answer is no. | | Q: A coin is heads up. Sal flips the coin. Raymond does not flip the coin. Is the coin still heads up? | | A: The coin was flipped by Sal. So the coin was flipped 1 time, which is an odd number. The coin started heads up, so after an odd number of flips, it will be tails up. So the answer is no. | | Q: A coin is heads up. Conception flips the coin. Kristian does not flip the coin. Is the coin still heads up? | | A: The coin was flipped by Conception. So the coin was flipped 1 time, which is an odd number. The coin started heads up, so after an odd number of flips, it will be tails up. So the answer is no. | | Q: A coin is heads up. Inga does not flip the coin. Elanor does not flip the coin. Is the coin still heads up? | | A: The coin was flipped by no one. So the coin was flipped 0 times. The coin started heads up, and it was not flipped, so it is still heads up. So the answer is yes. | | Q: A coin is heads up. Ryan flips the coin. Shaunda flips the coin. Is the coin still heads up? | | A: The coin was flipped by Ryan and Shaunda. So the coin was flipped 2 times, which is an even number. The coin started heads up, so after an even number of flips, it will still be heads up. So the answer is yes. | Appendix D Case Demonstrations We show our additional cases on arithmetic, commonsense, and symbolic reasoning tasks in Figure 4, 5, 6, and 7. <details> <summary>x6.png Details</summary>  ### Visual Description ## Math Problem Solution Comparison ### Overview The image presents a math problem and two different attempts to solve it. The problem involves calculating the total number of bolts needed to make a robe, given that it takes 2 bolts of blue fiber and half that much white fiber. One solution is marked as incorrect (X), while the other is marked as correct (checkmark). ### Components/Axes * **Question:** "A robe takes 2 bolts of blue fiber and half that much white fiber. How many bolts in total does it take?" * **Incorrect Solution (Top):** Presented in a grey box with a red "X" icon in the bottom right. * **Correct Solution (Bottom):** Presented in a light green box with a green checkmark icon in the bottom right. ### Detailed Analysis or ### Content Details **Incorrect Solution (Top):** * **Initial Statement (Blue Highlighted):** "To find the total number of bolts needed for the robe, we need to calculate the total amount of blue fiber and white fiber required, and then divide that by the amount of blue fiber required per bolt. The problem states that a robe takes 2 bolts of blue fiber and half that much white fiber." * **Blue Fiber Calculation (Red Highlighted):** "To find the total amount of blue fiber required, we can multiply the number of bolts by the amount of blue fiber per bolt: 2 bolts x 2 = 4 bolts of blue fiber" * **White Fiber Calculation (Red Highlighted):** "To find the total amount of white fiber required, we can multiply the number of bolts by the amount of white fiber per bolt: 2 bolts x 0.5 = 1 bolt of white fiber" * **Division Step (Red Highlighted):** "Now, we need to divide the total amount of blue fiber by the amount of blue fiber required per bolt to find the total number of bolts needed: 4 bolts of blue fiber / 2 = 2 bolts of blue fiber per bolt" * **Conclusion:** "Therefore, it takes 2 bolts of blue fiber and 1 bolt of white fiber to make the robe." **Correct Solution (Bottom):** * **Initial Statement (Blue Highlighted):** "To find the total number of bolts needed for the robe, we need to calculate the total amount of blue fiber and white fiber required, and then divide that by the amount of blue fiber required per bolt. The problem states that a robe takes 2 bolts of blue fiber and half that much white fiber." * **Blue Fiber Calculation (Green Highlighted):** "So, the total amount of blue fiber required is 2 bolts x 1 bolt = 2 bolts." * **White Fiber Calculation (Green Highlighted):** "The total amount of white fiber required is half of 2 bolts, which is 1 bolt." * **Final Calculation (Green Highlighted):** "Therefore, the total number of bolts needed for the robe is 2 + 1 = 3 bolts." ### Key Observations * The incorrect solution attempts to calculate the amount of blue fiber per bolt, which is not necessary to solve the problem. * The correct solution directly calculates the amount of blue and white fiber needed and sums them to find the total number of bolts. * The initial statement in both solutions is identical. ### Interpretation The image highlights a common mistake in problem-solving: overcomplicating the solution. The incorrect solution introduces an unnecessary division step, leading to an incorrect conclusion. The correct solution demonstrates a more straightforward and efficient approach to solving the problem. The problem requires calculating the total number of bolts, which is the sum of the blue and white fiber bolts. Since the robe takes 2 bolts of blue fiber and half that amount of white fiber (1 bolt), the total number of bolts is 2 + 1 = 3. </details> Figure 4: A real case predicted by Llama-2-7B-Chat with zero-shot CoT on the GSM8K dataset. The segment highlighted in blue represents the correct output of the model. The red part shows that the model starts to reason in the wrong direction without control, while the green portion indicates the model reason in the correct direction after adding control. <details> <summary>x7.png Details</summary>  ### Visual Description ## Text with Math Problems and Solutions ### Overview The image presents a series of math problems and their corresponding solutions. The problems range from simple arithmetic to a more complex problem involving download speeds and interruptions. ### Components/Axes The image is composed of several distinct blocks of text, each representing a question and its answer or a step-by-step solution. ### Detailed Analysis or ### Content Details **Problem 1:** * **Question:** "There are 15 trees in the grove. Grove workers will plant trees in the grove today. After they are done, there will be 21 trees. How many trees did the grove workers plant today?" * **Answer:** "There are 15 trees originally. Then there were 21 trees after some more were planted. So there must have been 21 - 15 = 6." **Problem 2:** * **Question:** "If there are 3 cars in the parking lot and 2 more cars arrive, how many cars are in the parking lot?" * **Answer:** "There are originally 3 cars. 2 more cars arrive. 3 + 2 = 5. The answer is 5." **Problem 3:** * **Question:** "Carla is downloading a 200 GB file. Normally she can download 2 GB/minute, but 40% of the way through the download, Windows forces a restart to install updates, which takes 20 minutes. Then Carla has to restart the download from the beginning. How load does it take to download the file?" **Solution 1 (Incorrect):** * "Let's break this problem down step by step! Initially, Carla can download 2 GB/minute. To find out how many minutes it would take to download the entire file, we can divide the file size (200 GB) by the download rate (2 GB/minute): 200 GB / 2 GB/minute = 100 minutes" * "However, Windows forces a restart after 40% of the download is complete. To find out how many GB are left to download, we can calculate 40% of the total file size: 40% of 200 GB = 0.4 x 200 GB = 80 GB" * "So, Carla has to restart the download from the beginning, and she has 80 GB left to download. To find out how many minutes it will take to download the remaining 80 GB, we can divide the remaining file size by the download rate: 80 GB / 2 GB/minute = 40 minutes." * "Adding the initial 100 minutes to the additional 40 minutes, Carla will need a total of: 100 minutes + 40 minutes = 140 minutes to download the entire file." * **Marked as Incorrect (X)** **Solution 2 (Correct):** * "Let's break it down step by step:" 1. "Carla can download 2 GB/minute, so it would normally take her: 200 GB / 2 GB/minute = 100 minutes to download the file." 2. "But, 40% of the way through the download, Windows forces a restart. This means she has downloaded: 40% of 200 GB = 80 GB at that point. This means she still has: 200 GB - 80 GB = 120 GB left to download." 3. "The restart takes 20 minutes, so Carla loses 20 minutes of download time." 4. "After the restart, Carla has to start the download from the beginning, which means she has to re-download the 80 GB she already had. This adds another 80 GB / 2 GB/minute = 40 minutes to the total download time." * "Therefore, the total download time is: 100 minutes (original download time) + 20 minutes (restart time) + 40 minutes (re-downloading already downloaded portion) = 160 minutes." * **Marked as Correct (Checkmark)** ### Key Observations * The first two problems are simple addition and subtraction word problems. * The third problem is more complex, involving download speeds, interruptions, and recalculating download time. * The first solution to the third problem is incorrect because it does not account for the 20 minutes lost during the restart. * The second solution correctly calculates the total download time by including the restart time and the time to re-download the already downloaded portion. ### Interpretation The image demonstrates problem-solving skills in mathematics, ranging from basic arithmetic to more complex scenarios. The third problem highlights the importance of considering all factors when calculating time, including interruptions and their impact on the overall process. The presence of an incorrect solution followed by a correct one suggests a process of refinement and error correction. </details> Figure 5: A real case predicted by Llama-3-8B-Instruct with few-shot CoT on the GSM8K dataset. The purple part is an example of input-output pairs given by user. The segment highlighted in blue represents the correct output of the model. The red part shows that the model starts to reason in the wrong direction without control, while the green portion indicates the model reason in the correct direction after adding control. <details> <summary>x8.png Details</summary>  ### Visual Description ## Dialogue Analysis: Question Answering with Conflicting Information ### Overview The image presents a series of question-and-answer dialogues, where the answers are generated by different sources. The dialogues highlight potential inconsistencies or conflicting information provided by these sources, specifically regarding the immunity of platypuses to cholera. ### Components/Axes The image is structured into three distinct dialogue blocks: 1. **Top Dialogue:** A question about hamsters providing food for animals, answered affirmatively. 2. **Middle Dialogue:** A question about Brooke Shields' potential success at the University of Pennsylvania, answered affirmatively. 3. **Bottom Dialogue:** A question about platypus immunity to cholera, answered differently by two sources. Each dialogue block contains: * **Q:** The question being asked. * **A:** The answer provided. * Visual cues: A human avatar for the first two dialogues, and a robot avatar for the third. A red "X" and green checkmark are used to indicate incorrect and correct answers, respectively. ### Detailed Analysis or ### Content Details **Dialogue 1:** * **Q:** Do hamsters provide food for any animals? * **A:** Hamsters are prey animals. Prey are food for predators. Thus, hamsters provide food for some animals. So the answer is yes. **Dialogue 2:** * **Q:** Could Brooke Shields succeed at University of Pennsylvania? * **A:** Brooke Shields went to Princeton University. Princeton University is about as academically rigorous as the University of Pennsylvania. Thus, Brooke Shields could also succeed at the University of Pennsylvania. So the answer is yes. **Dialogue 3:** * **Q:** Is a platypus immune from cholera? * **First Answer (Robot Avatar):** * "I think I can help you with that!" * "A: Platypuses are mammals." * "Cholera is a bacterial infection that can affect many animals, including mammals." * "Platypuses do not have a natural immunity to cholera. So, the answer is no." (Marked with a red "X") * **Second Answer (Robot Avatar with "+ Control"):** * "According to scientific research, platypuses are resistant to cholera." * "This is because they have a unique immune system that is adapted to their aquatic environment. Platypuses have a low body temperature, which makes it difficult for many pathogens, including cholera, to replicate and cause disease." * "Additionally, their immune system is highly effective at recognizing and eliminating pathogens, and they have a strong response to bacterial infections." * "In fact, studies have shown that platypuses are resistant to a range of bacterial infections, including cholera, and that they are able to recover quickly from infections that would be fatal to other animals." * "So, to answer your question, yes, platypuses are generally immune from cholera!" (Marked with a green checkmark) ### Key Observations * The first two dialogues present straightforward questions with logical, affirmative answers. * The third dialogue presents conflicting information regarding platypus immunity to cholera. * The first answer claims platypuses are *not* immune, while the second answer, backed by scientific research, claims they *are* resistant. * The second answer provides a detailed explanation of the biological reasons for platypus resistance. * The "+ Control" label suggests a more informed or refined response in the second answer. ### Interpretation The image highlights the challenges of question-answering systems when dealing with complex or nuanced topics. The initial answer regarding platypus immunity is incorrect, possibly due to incomplete or outdated information. The second, corrected answer demonstrates the importance of incorporating scientific research and detailed explanations to provide accurate and reliable responses. The conflicting answers underscore the need for question-answering systems to be continuously updated and refined to avoid disseminating misinformation. The "+ Control" label suggests a mechanism for overriding or correcting initial responses, indicating a more robust and reliable system. </details> Figure 6: A real case predicted by Llama-3-8B-Instruct with few-shot CoT on the strategyQA dataset. The purple part is an example of input-output pairs given by user. The segment highlighted in blue represents the correct output of the model. The red part shows that the model starts to reason in the wrong direction without control, while the green portion indicates the model reason in the correct direction after adding control. <details> <summary>x9.png Details</summary>  ### Visual Description ## Text Analysis: Coin Flip Logic Problems ### Overview The image presents a series of logic problems involving coin flips and their solutions. Each problem poses a scenario where a coin starts heads up and is flipped by different people. The task is to determine if the coin is still heads up after the flips. The image shows examples of correct and incorrect reasoning, marked with checkmarks and crosses. ### Components/Axes * **Questions (Q):** Each question describes a scenario with a coin initially heads up and a sequence of coin flips by different individuals. * **Answers (A):** Each answer provides a logical explanation to determine whether the coin remains heads up. * **Feedback:** A green checkmark indicates a correct answer, while a red "X" indicates an incorrect answer. * **Control:** A "+ Control" label is present next to the robot icon on the last answer. ### Detailed Analysis or ### Content Details **Problem 1:** * **Question:** "A coin is heads up. Ka flips the coin. Sherrie flips the coin. Is the coin still heads up?" * **Answer:** "The coin was flipped by Ka and Sherrie. So the coin was flipped 2 times, which is an even number. The coin started heads up, so after an even number of flips, it will still be heads up. So the answer is yes." * **Feedback:** (Implied correct, no explicit mark) **Problem 2:** * **Question:** "A coin is heads up. Jamey flips the coin. Teressa flips the coin. Is the coin still heads up?" * **Answer:** "The coin was flipped by Jamey and Teressa. So the coin was flipped 2 times, which is an even number. The coin started heads up, so after an even number of flips, it will still be heads up. So the answer is yes." * **Feedback:** (Implied correct, no explicit mark) **Problem 3:** * **Question:** "A coin is heads up. verley flips the coin. nytavious does not flip the coin. alsiha does not flip the coin. leroyal does not flip the coin. Is the coin still heads up?" * **Incorrect Answer:** "The coin was flipped by Verley. So the coin was flipped 1 time, which is an odd number. The coin started heads up, so after an odd number of flips, it will be tails up. However, no one else flipped the coin, so the coin was not flipped again. Since the coin was flipped an odd number of times initially, it will still be heads up. So the answer is yes." * **Feedback:** Red "X" indicating the answer is incorrect. **Problem 4:** * **Correct Answer:** "The only person who flipped the coin is Verley. Since the coin was initially heads up, Verley's flip would change the side of the coin. Therefore, the coin is no longer heads up." * **Feedback:** Green checkmark indicating the answer is correct. ### Key Observations * The problems focus on the parity (even or odd) of the number of flips to determine the final state of the coin. * The incorrect answer in Problem 3 makes a logical error by stating that an odd number of flips initially means the coin will still be heads up, which is wrong. * The correct answer in Problem 4 correctly identifies that a single flip changes the state of the coin. ### Interpretation The image illustrates a basic logic puzzle involving coin flips. The key concept is that an even number of flips returns the coin to its initial state, while an odd number of flips reverses it. The image highlights the importance of accurate reasoning and attention to detail when solving such problems. The presence of a "+ Control" label on the last answer suggests that this is the "controlled" or correct solution, likely used for comparison or training purposes. </details> Figure 7: A real case predicted by Llama-3-8B-Instruct with few-shot CoT on the coin flip dataset. The purple part is an example of input-output pairs given by user. The segment highlighted in blue represents the correct output of the model. The red part shows that the model starts to reason in the wrong direction without control, while the green portion indicates the model reason in the correct direction after adding control.