Sure. We used the minimum edit distance algorithm (**for convenience, we tokenized by words**) to statistically analyze the proportion of corrupted / corrected key reasoning steps in the corresponding CoTs after applying CCP and AHP. The proportion and histogram data is shown in the table below.
| | CCP-corrupted key steps | AHP-corrected key steps |
| --- | --- | --- |
| average ratio | 0.2089 | 0.2210 |
| interval distribution: | | |
| 0.0-0.1 | 1731 | 488 |
| 0.1-0.2 | 697 | 331 |
| 0.2-0.3 | 444 | 237 |
| 0.3-0.4 | 325 | 123 |
| 0.4-0.5 | 191 | 80 |
| 0.5-0.6 | 125 | 53 |
| 0.6-0.7 | 73 | 32 |
| 0.7-0.8 | 67 | 14 |
| 0.8-0.9 | 42 | 12 |
| 0.9-1.0 | 110 | 12 |
| total | 3805 | 1402 |
As we can see, the average proportion of corrected key reasoning steps is approximately 22%, meaning that AHP only needed to modify about 1/5 of the text to correct the CoT. According to interval distribution, we can preliminarily obtain that 75% (488 +331 +237) / 1402) of the data have less than 30% of the modified reasoning steps after applying AHP. This shows the effectiveness of AHP in improving CoT.
* * *
Additionally, to more intuitively show the changes in CoTs before and after applying AHP, we present a case where 22% of the reasoning steps were corrected.
* **task description:** Distinguish deductively valid arguments from formal fallacies.
* **instruction:**
"Is Fred a cousin of Robert? Is Joe related to Bob? In large families, it is sometimes difficult to keep track of all one's relatives. The following argument seeks to clarify some such relations: First of all, every classmate of Harold who is an ancestor of Frank is not a grandson of Shannon. We may conclude: Every grandson of Shannon is not a classmate of Harold or not an ancestor of Frank."
Is the argument, given the explicitly stated premises, deductively valid or invalid?
Options:
- valid
- invalid
* **CoT before applying AHP (original wrong)**
(1) Every classmate of Harold who is an ancestor of Frank is not a grandson of Shannon: If X = classmate(Harold) AND ancestor(Frank), then X = NOT (grandson(Shannon)).
Hypothesis: Does it follow that every grandson of Shannon is not a classmate of Harold or not an ancestor of Frank: If X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank))?
Let’s see whether the Hypothesis can be deduced from the argument (1) by logical reasoning?
By (1), we have if X = classmate(Harold) AND ancestor(Frank), then X = NOT (grandson(Shannon)).
However, the Hypothesis states that if X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank)).
The Hypothesis is not a direct consequence of the argument (1). Therefore, the answer is invalid.
* **CoT after applying AHP (corrected)**
(1) Every classmate of Harold who is an ancestor of Frank is not a grandson of Shannon: If X = classmate(Harold) AND ancestor(Frank), then X = NOT (grandson(Shannon)).
Hypothesis: Does it follow that every grandson of Shannon is not a classmate of Harold or not an ancestor of Frank: If X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank))?
Let’s see whether the Hypothesis can be deduced from the argument (1) by logical reasoning?
By (1), we have if X = classmate(Harold) AND ancestor(Frank), then X = NOT (grandson(Shannon)).
By the contrapositive rule in first-order logic, we can rewrite this as: if X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank)).
So, it is true that every grandson of Shannon is not a classmate of Harold or not an ancestor of Frank. Therefore, the answer is valid.
From these two CoTs, we can see the difference in the text starting from "By (1), we have if X = classmate(Harold) AND ancestor(Frank), then X = NOT (grandson(Shannon)).", which is the point where the reasoning diverges. Prior to this, the reasoning was the same.
In the **corrected CoT**, the step **"By the contrapositive rule in first-order logic, we can rewrite this as: if X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank))."** applied the contrapositive rule, which is the key reasoning step.
In contrast, the **original wrong CoT** mentions **"However, the Hypothesis states that if X = grandson(Shannon), then X = NOT (classmate(Harold)) OR X = NOT (ancestor(Frank)). The Hypothesis is not a direct consequence of the argument (1)."** Here, it failed to recognize the contrapositive rule and incorrectly concluded that the hypothesis could not be directly deduced from the premise.
From this point onward, the reasoning path and final conclusion differ. We hope that the analysis above demonstrates the effectiveness of the Teacher model in improving CoTs under the AHP method.