interp-engine 0.0.24__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- interp_engine-0.0.24.dist-info/METADATA +21 -0
- interp_engine-0.0.24.dist-info/RECORD +28 -0
- interp_engine-0.0.24.dist-info/WHEEL +4 -0
- interp_engine-0.0.24.dist-info/licenses/LICENSE +19 -0
- neuron_explainer/__init__.py +0 -0
- neuron_explainer/activations/__init__.py +0 -0
- neuron_explainer/activations/activation_records.py +130 -0
- neuron_explainer/activations/activations.py +311 -0
- neuron_explainer/activations/attention_utils.py +121 -0
- neuron_explainer/activations/token_connections.py +59 -0
- neuron_explainer/api_client.py +190 -0
- neuron_explainer/azure.py +5 -0
- neuron_explainer/explanations/__init__.py +0 -0
- neuron_explainer/explanations/calibrated_simulator.py +194 -0
- neuron_explainer/explanations/explainer.py +2585 -0
- neuron_explainer/explanations/explanations.py +230 -0
- neuron_explainer/explanations/few_shot_examples.py +3125 -0
- neuron_explainer/explanations/prompt_builder.py +118 -0
- neuron_explainer/explanations/puzzles.json +399 -0
- neuron_explainer/explanations/puzzles.py +50 -0
- neuron_explainer/explanations/scoring.py +155 -0
- neuron_explainer/explanations/simulator.py +1121 -0
- neuron_explainer/explanations/test_explainer.py +227 -0
- neuron_explainer/explanations/test_simulator.py +269 -0
- neuron_explainer/explanations/token_space_few_shot_examples.py +212 -0
- neuron_explainer/fast_dataclasses/__init__.py +3 -0
- neuron_explainer/fast_dataclasses/fast_dataclasses.py +85 -0
- neuron_explainer/fast_dataclasses/test_fast_dataclasses.py +83 -0
|
@@ -0,0 +1,399 @@
|
|
|
1
|
+
{
|
|
2
|
+
"colors": {
|
|
3
|
+
"name": "colors",
|
|
4
|
+
"explanation": "words related to colors and nothing else",
|
|
5
|
+
"sentences": [
|
|
6
|
+
[["Green", 9 ], " smoke", ",", " and", [" yellow", 9 ], " flames", ",", " and", [" red", 9 ], " fire", ",", " and", [" black", 9 ], " ash", ",", " and", " the", " smell", " of", " burning", "."],
|
|
7
|
+
["His", " shoes", " were", [" black", 9 ], ",", " but", " his", " socks", " were", " bright", [" yellow", 10 ], "."],
|
|
8
|
+
["On", " a", " run", " down", " ship", ",", " sailing", " a", " wine", ["-dark", 7 ], " sea", ",", " I", " searched", " for", " the", " island", " of", " my", " birth", "."],
|
|
9
|
+
[["Red", 9 ], ",", [" yellow", 9 ], ",", [" orange", 9 ], ",", [" purple", 9 ], ":", " the", " diversity", " and", " aroma", " of", " spices", " overwhelmed", " her", " senses", "."],
|
|
10
|
+
["Some", " might", " say", " that", [" turquoise", 9 ], " is", [" blue", 9 ], ",", " but", " I", " think", " it", "'s", " more", " of", " a", [" blue", 9 ], ["-green", 9 ], "."],
|
|
11
|
+
["With", " the", " dog", " days", " of", " august", " upon", " us", ",", " think", " of", " this", " dog", " of", " a", " book", " as", " the", " literary", " equivalent", " of", " high", " humidity", "."]
|
|
12
|
+
],
|
|
13
|
+
"false_explanations": [
|
|
14
|
+
"adjectives and descriptors in general",
|
|
15
|
+
"references to aromas and the sense of smell",
|
|
16
|
+
"instances of the words \"red\", \"black\", and \"yellow\""
|
|
17
|
+
]
|
|
18
|
+
},
|
|
19
|
+
"char2": {
|
|
20
|
+
"name": "char2",
|
|
21
|
+
"explanation": "the name of the second named character introduced in the passage, excluding the narrator",
|
|
22
|
+
"sentences": [
|
|
23
|
+
["Once", " upon", " a", " time", ",", " there", " was", " a", " brave", " knight", " named", " Art", " who", " lived", " in", " a", " magnificent", " castle", ".", " One", " day", ",", " a", " beautiful", " princess", " named", [" Gwen", 9 ], " came", " to", " visit", " the", " kingdom", ".", " Art", " was", " immediately", " capt", "ivated", " by", " her", " beauty", " and", " grace", ".", " He", " vowed", " to", " protect", " her", " and", " always", " keep", " her", " safe", ".", " From", " that", " moment", " on", ",", " Art", " and", [" Gwen", 10 ], " were", " inse", "parable", " and", " they", " lived", " happily", " ever", " after", "."],
|
|
24
|
+
["Another", " time", ",", " when", " Sil", "as", " left", " the", " city", " together", " with", [" Giles", 9 ], ",", " to", " fetch", " some", " livestock", " for", " their", " brothers", " and", " teachers", ",", " Sil", "as", " began", " to", " speak", "."],
|
|
25
|
+
["Once", " upon", " a", " time", ",", " there", " was", " a", " brave", " knight", " named", " Arthur", " who", " lived", " in", " a", " magnificent", " castle", ".", " One", " day", ",", " Arthur", " went", " to", " visit", " another", " kingdom", ".", " While", " he", " was", " there", ",", " he", " went", " on", " many", " adventures", " and", " faced", " many", " per", "ils", ",", " but", " he", " always", " came", " through", ".", " Arthur", " returned", " to", " his", " castle", " and", " lived", " happily", " ever", " after", "."],
|
|
26
|
+
["Ben", " enjoyed", " apples", ",", " while", [" Alice", 9 ], " enjoyed", " bananas", ".", [" Alice", 9 ], " found", " it", " funny", " that", " the", " first", " letter", " of", " their", " favorite", " fruits", " matched", " the", " first", " letter", " of", " the", " other", "'s", " name", ",", " but", " Ben", " did", " not", "."],
|
|
27
|
+
["Kate", ",", [" Eve", 9 ], ",", " and", " Claire", " were", " all", " siblings", ".", " Kate", " was", " the", " oldest", ",", [" Eve", 9 ], " the", " second", " oldest", ",", " and", " Claire", " the", " youngest", "."],
|
|
28
|
+
["Chocolate", " cake", " or", " apple", " pie", " -", " Sam", " couldn", "'t", " decide", " which", " he", " liked", " better", "."],
|
|
29
|
+
["T", "ess", ",", [" Jack", 9 ], ",", " Mark", ",", " and", " Jane", " were", " bored", " on", " a", " rainy", " Saturday", " afternoon", ".", " They", " had", " played", " all", " their", " board", " games", ",", " watched", " all", " their", " favorite", " movies", ",", " and", " read", " all", " their", " books", ".", " They", " wanted", " to", " do", " something", " fun", " and", " exciting", ",", " but", " they", " couldn", "'t", " go", " outside", " or", " visit", " their", " friends", ".", " Tess", " decided", " to", " make", " up", " an", " adventure", " game", ",", " using", " her", " imagination", " and", " whatever", " she", " could", " find", " in", " the", " house", ".", [" Jack", 9 ], " turned", " the", " living", " room", " into", " a", " jungle", ",", " the", " kitchen", " into", " a", " spaceship", ",", " the", " basement", " into", " a", " dungeon", ",", " and", " the", " attic", " into", " a", " treasure", " island", ".", " Mark", " pretended", " to", " be", " an", " explorer", ",", " then", " an", " astronaut", "."]
|
|
30
|
+
],
|
|
31
|
+
"false_explanations": [
|
|
32
|
+
"mentions of particular characters' names and nothing else",
|
|
33
|
+
"names of characters repeated multiple times in the same passage",
|
|
34
|
+
"names of female characters",
|
|
35
|
+
"instances of the words \"Gwen\", \"Giles\", and \"Alice\""
|
|
36
|
+
]
|
|
37
|
+
},
|
|
38
|
+
"similes": {
|
|
39
|
+
"name": "similes",
|
|
40
|
+
"explanation": "phrases that are similes and nothing else",
|
|
41
|
+
"sentences": [
|
|
42
|
+
["What", "'s", " so", " fun", " about", " this", " silly", ",", " outrageous", ",", " ingenious", " thriller", " is", " the", " director", "'s", " talent", ".", " Watching", " a", " Brian", " De", " Pal", "ma", " movie", " is", [" like", 9 ], [" watching", 9 ], [" an", 9 ], [" Alfred", 9 ], [" Hitch", 9 ], ["cock", 9 ], [" movie", 9 ], [" after", 9 ], [" drinking", 9 ], [" twelve", 9 ], [" beers", 9 ], "."],
|
|
43
|
+
["Going", " to", " this", " concert", " is", " a", " little", [" like", 9 ], [" chewing", 8 ], [" whale", 9 ], [" bl", 9 ], ["ubber", 9 ], " -", " it", "'s", " an", " acquired", " taste", " that", " takes", " time", " to", " enjoy", ",", " but", " it", "'s", " worth", " it", ",", " even", " if", " it", " does", " take", " ", "3", " hours", " to", " get", " through", "."],
|
|
44
|
+
["The", " ma", "ud", "lin", " focus", " on", " the", " young", " woman", "'s", " inf", "irm", "ity", " and", " her", " naive", " dreams", " play", [" like", 9 ], [" the", 9 ], [" worst", 9 ], [" kind", 9 ], [" of", 9 ], [" heart", 9 ], ["-string", 9 ], [" pl", 9 ], ["ucking", 9 ], "."],
|
|
45
|
+
["Don", "\u2019t", " trust", " his", " words", ",", " he", " is", " cunning", [" like", 9 ], [" a", 9 ], [" fox", 9 ], "."],
|
|
46
|
+
["My", " uncle", " is", " as", " blind", [" as", 9 ], [" a", 9 ], [" bat", 9 ], " without", " his", " spect", "acles", "."],
|
|
47
|
+
["The", " maid", " has", " done", " a", " good", " job", ",", " and", " the", " hall", " is", " as", " clean", [" as", 9 ], [" a", 9 ], [" whistle", 10 ] ],
|
|
48
|
+
["My", " grandmother", " may", " seem", " scary", " to", " others", ",", " but", " she", " is", " as", " gentle", [" as", 9 ], [" a", 9 ], [" lamb", 9 ], "."],
|
|
49
|
+
["Once", " upon", " a", " time", ",", " there", " was", " a", " brave", " knight", " named", " Arthur", " who", " lived", " in", " a", " magnificent", " castle", ".", " One", " day", ",", " Arthur", " went", " to", " visit", " another", " kingdom", ".", " While", " he", " was", " there", ",", " he", " went", " on", " many", " adventures", " and", " faced", " many", " per", "ils", ",", " but", " he", " always", " came", " through", ".", " Arthur", " returned", " to", " his", " castle", " and", " lived", " happily", " ever", " after", "."],
|
|
50
|
+
["His", " shoes", " were", " black", ",", " but", " his", " socks", " were", " bright", " yellow", "."]
|
|
51
|
+
],
|
|
52
|
+
"false_explanations": [
|
|
53
|
+
"pieces of criticism and nothing else",
|
|
54
|
+
"references to uncommon expressions or turns of phrase",
|
|
55
|
+
"phrases relating to extreme experiences",
|
|
56
|
+
"instances of the words \"like\", \"as\", and \"a\""
|
|
57
|
+
]
|
|
58
|
+
},
|
|
59
|
+
"idioms": {
|
|
60
|
+
"name": "idioms",
|
|
61
|
+
"explanation": "the substitution of a key word in a common idiom that isn't the usual choice for that idiom",
|
|
62
|
+
"sentences": [
|
|
63
|
+
["Take", " Alice", "'s", " advice", " with", " a", " grain", " of", [" sodium", 10 ], " -", " she", " always", " has", " her", " head", " in", " the", " clouds", "."],
|
|
64
|
+
["I", " told", " John", " that", " he", " was", " b", "arking", " up", " the", " wrong", [" bush", 9 ], ",", " that", " I", " didn", "'t", " have", " any", " information", " on", " his", " man", "."],
|
|
65
|
+
["Don", "'t", " worry", " about", " the", " outing", " tomorrow", ",", " it", "'ll", " be", " a", " piece", " of", " cake", "."],
|
|
66
|
+
["Don", "'t", " worry", " about", " the", " outing", " tomorrow", ",", " it", "'ll", " be", " a", " piece", " of", [" con", 9 ], ["fection", 9 ], "."],
|
|
67
|
+
["Take", " Alice", "'s", " advice", " with", " a", " grain", " of", " salt", " -", " she", " always", " has", " her", " head", " in", " the", " clouds", "."],
|
|
68
|
+
["I", " stopped", " the", " interview", " process", " once", " I", " received", " another", " offer", " that", " was", " about", " to", " expire", ".", " A", " bird", " in", " the", " hand", " is", " worth", " two", " in", " the", [" shr", 7 ], ["ub", 9 ], ["bery", 9 ], ",", " after", " all", "."],
|
|
69
|
+
["You", " should", " bite", " the", " bullet", " and", " just", " go", " talk", " to", " the", " professor", ",", " otherwise", " this", " problem", " won", "'t", " get", " better", "."],
|
|
70
|
+
["You", " should", " bite", " the", [" projectile", 9 ], " and", " just", " go", " talk", " to", " the", " professor", ",", " otherwise", " this", " problem", " won", "'t", " get", " better", "."],
|
|
71
|
+
["Stop", " beating", " around", " the", [" hedge", 9 ], " and", " get", " to", " the", " point", "."],
|
|
72
|
+
["Stop", " beating", " around", " the", " bush", " and", " get", " to", " the", " point", "."]
|
|
73
|
+
],
|
|
74
|
+
"false_explanations": [
|
|
75
|
+
"mentions of particular words in idioms",
|
|
76
|
+
"references to uncommon words",
|
|
77
|
+
"mentions of common items",
|
|
78
|
+
"instances of the words \"sodium\", \"confection\", and \"projectile\""
|
|
79
|
+
]
|
|
80
|
+
},
|
|
81
|
+
"feet": {
|
|
82
|
+
"name": "feet",
|
|
83
|
+
"explanation": "words describing motion that uses feet (e.g. \"running\", \"walking\"), but not words describing motion that doesn\u2019t use feet (e.g. \"flying\", \"hovering\")",
|
|
84
|
+
"sentences": [
|
|
85
|
+
["She", [" ran", 9 ], " as", " fast", " as", " she", " could", " to", " catch", " the", " bus", ",", " but", " it", " was", " already", " pulling", " away", " from", " the", " stop", "."],
|
|
86
|
+
["He", [" walked", 9 ], " along", " the", " beach", ",", " feeling", " the", " sand", " between", " his", " toes", " and", " the", " breeze", " in", " his", " hair", "."],
|
|
87
|
+
["They", [" danced", 9 ], " to", " the", " rhythm", " of", " the", " music", ",", " spinning", " and", [" stepping", 9 ], " in", " sync", "."],
|
|
88
|
+
["He", [" kicked", 8 ], " the", " ball", " with", " all", " his", " might", ",", " hoping", " to", " score", " a", " goal", "."],
|
|
89
|
+
["She", " ti", ["pto", 7 ], ["ed", 8 ], " into", " the", " kitchen", ",", " trying", " not", " to", " wake", " up", " her", " parents", "."],
|
|
90
|
+
["She", " h", ["opped", 8 ], " on", " one", " foot", ",", " balancing", " a", " book", " on", " her", " head", "."],
|
|
91
|
+
["The", " eagle", " was", " flying", " high", " above", " the", " mountains", ",", " scanning", " the", " ground", " for", " prey", "."],
|
|
92
|
+
["She", " felt", " a", " surge", " of", " joy", " as", " she", " hovered", " over", " the", " water", " on", " her", " jet", "pack", ",", " feeling", " the", " wind", " in", " her", " hair", " and", " the", " spray", " on", " her", " face", "."],
|
|
93
|
+
["The", " helicopter", " landed", " on", " the", " rooftop", ",", " creating", " a", " loud", " noise", " and", " a", " gust", " of", " air", "."],
|
|
94
|
+
["He", " threw", " the", " ball", " with", " all", " his", " might", ",", " hoping", " to", " hit", " the", " target", " and", " win", " the", " prize", "."],
|
|
95
|
+
["The", " rocket", " blasted", " off", " into", " the", " sky", ",", " leaving", " a", " trail", " of", " smoke", " and", " fire", " behind", "."]
|
|
96
|
+
],
|
|
97
|
+
"false_explanations": [
|
|
98
|
+
"words describing motion",
|
|
99
|
+
"verbs and action phrases",
|
|
100
|
+
"instances of the words \"ran\", \"walked\", and \"danced\""
|
|
101
|
+
]
|
|
102
|
+
},
|
|
103
|
+
"years": {
|
|
104
|
+
"name": "years",
|
|
105
|
+
"explanation": "historically inaccurate numerical years in the passage and nothing else",
|
|
106
|
+
"sentences": [
|
|
107
|
+
["The", " French", " Revolution", " began", " in", " A", ".D", ".", " ", ["168", 9 ], ["7", 9 ], " and", " ended", " in", " A", ".D", ".", " ", ["169", 9 ], ["9", 9 ], "."],
|
|
108
|
+
["The", " First", " World", " War", " broke", " out", " in", " A", ".D", ".", " ", ["151", 10 ], ["4", 9 ], " and", " lasted", " for", " four", " years", "."],
|
|
109
|
+
["The", " Declaration", " of", " Independence", " was", " signed", " in", " A", ".D", ".", " ", "177", ["0", 9 ], " by", " the", " representatives", " of", " the", " thirteen", " colonies", "."],
|
|
110
|
+
["The", " Great", " Depression", " began", " in", " A", ".D", ".", " ", ["202", 9 ], ["8", 9 ], " with", " the", " stock", " market", " crash", " and", " lasted", " until", " the", " end", " of", " the", " next", " decade", "."],
|
|
111
|
+
["The", " Berlin", " Wall", " was", " erected", " in", " A", ".D", ".", " ", ["100", 9 ], ["9", 9 ], " to", " divide", " the", " city", " into", " East", " and", " West", "."],
|
|
112
|
+
["The", " Apollo", " ", "11", " mission", " landed", " the", " first", " humans", " on", " the", " moon", " in", " AD", " ", ["195", 9 ], ["0", 9 ], "."],
|
|
113
|
+
["C", "olum", "bus", " sailed", " the", " ocean", " blue", " in", " the", " year", " ", "149", ["0", 10 ], " and", " landed", " in", " the", " new", " world", "."],
|
|
114
|
+
["The", " French", " Revolution", " began", " in", " the", " year", " ", "178", "9", " and", " ended", " in", " ", "179", "9", "."],
|
|
115
|
+
["The", " first", " World", " War", " broke", " out", " in", " A", ".D", ".", " ", "191", "4", " and", " lasted", " for", " four", " years", "."],
|
|
116
|
+
["The", " Declaration", " of", " Independence", " was", " signed", " in", " ", "177", "6", " by", " the", " representatives", " of", " the", " thirteen", " colonies", "."],
|
|
117
|
+
["The", " Apollo", " ", "11", " mission", " landed", " the", " first", " humans", " on", " the", " moon", " in", " A", ".D", ".", " ", "196", "9", "."]
|
|
118
|
+
],
|
|
119
|
+
"false_explanations": [
|
|
120
|
+
"numerical years",
|
|
121
|
+
"dates in American and European history",
|
|
122
|
+
"instances of the years \"1009\", \"1687\", and \"1514\""
|
|
123
|
+
]
|
|
124
|
+
},
|
|
125
|
+
"math": {
|
|
126
|
+
"name": "math",
|
|
127
|
+
"explanation": "incorrect answers in grade school math problems",
|
|
128
|
+
"sentences": [
|
|
129
|
+
["K", "iera", " wants", " to", " make", " sure", " she", " has", " strong", " bones", ",", " so", " she", " drinks", " ", "2", " liters", " of", " milk", " every", " week", ".", " After", " ", "3", " weeks", ",", " how", " many", " liters", " of", " milk", " will", " K", "iera", " drink", "?", " Answer", ":", " After", " ", "3", " weeks", ",", " K", "iera", " will", " drink", " ", "6", " liters", " of", " milk", "."],
|
|
130
|
+
["K", "iera", " wants", " to", " make", " sure", " she", " has", " strong", " bones", ",", " so", " she", " drinks", " ", "2", " liters", " of", " milk", " every", " week", ".", " After", " ", "3", " weeks", ",", " how", " many", " liters", " of", " milk", " will", " K", "iera", " drink", "?", " Answer", ":", " After", " ", "3", " weeks", ",", " K", "iera", " will", " drink", " ", ["4", 10 ], " liters", " of", " milk", "."],
|
|
131
|
+
["A", "riel", " was", " playing", " basketball", ".", " ", "1", " of", " her", " shots", " went", " in", " the", " hoop", ".", " ", "2", " of", " her", " shots", " did", " not", " go", " in", " the", " hoop", ".", " How", " many", " shots", " were", " there", " in", " total", "?", " Answer", ":", " There", " were", " ", "3", " shots", " in", " total", "."],
|
|
132
|
+
["A", "riel", " was", " playing", " basketball", ".", " ", "1", " of", " her", " shots", " went", " in", " the", " hoop", ".", " ", "2", " of", " her", " shots", " did", " not", " go", " in", " the", " hoop", ".", " How", " many", " shots", " were", " there", " in", " total", "?", " Answer", ":", " There", " were", " ", ["2", 10 ], " shots", " in", " total", "."],
|
|
133
|
+
["The", " restaurant", " has", " ", "175", " normal", " chairs", " and", " ", "20", " chairs", " for", " babies", ".", " How", " many", " chairs", " does", " the", " restaurant", " have", " in", " total", "?", " Answer", ":", " ", "195"],
|
|
134
|
+
["The", " restaurant", " has", " ", "175", " normal", " chairs", " and", " ", "20", " chairs", " for", " babies", ".", " How", " many", " chairs", " does", " the", " restaurant", " have", " in", " total", "?", " Answer", ":", " ", ["295", 10 ] ],
|
|
135
|
+
["L", "ily", " has", " ", "12", " stickers", " and", " she", " wants", " to", " share", " them", " equally", " with", " her", " ", "3", " friends", ".", " How", " many", " stickers", " will", " each", " person", " get", "?", " Answer", ":", " Each", " person", " will", " get", " ", ["5", 9 ], " stickers", "."],
|
|
136
|
+
["L", "ily", " has", " ", "12", " stickers", " and", " she", " wants", " to", " share", " them", " equally", " with", " her", " ", "3", " friends", ".", " How", " many", " stickers", " will", " each", " person", " get", "?", " Answer", ":", " Each", " person", " will", " get", " ", "4", " stickers", "."]
|
|
137
|
+
],
|
|
138
|
+
"false_explanations": [
|
|
139
|
+
"single digit numbers",
|
|
140
|
+
"numbers in general",
|
|
141
|
+
"answers to grade school math problems",
|
|
142
|
+
"instances of the numbers 2, 4, and 5"
|
|
143
|
+
]
|
|
144
|
+
},
|
|
145
|
+
"complexity": {
|
|
146
|
+
"name": "complexity",
|
|
147
|
+
"explanation": "technical phrases related to computational complexity theory",
|
|
148
|
+
"sentences": [
|
|
149
|
+
["The", " time", [" complexity", 10 ], " of", " a", " sorting", " algorithm", " can", " be", " measured", " using", " the", " big", [" O", 9 ], [" notation", 10 ], "."],
|
|
150
|
+
["Some", " problems", ",", " such", " as", " the", " traveling", [" salesman", 9 ], [" problem", 10 ], ",", " are", " known", " to", " be", [" NP", 10 ], ["-hard", 10 ], ",", " meaning", " they", " are", " at", " least", " as", " hard", " as", " the", " hardest", " problems", " in", [" NP", 10 ], "."],
|
|
151
|
+
["B", "read", "th", " and", " depth", " first", " search", " run", " in", [" linear", 9 ], [" time", 10 ], " with", " respect", " to", " the", " number", " of", " nodes", " in", " the", " graph", "."],
|
|
152
|
+
["If", " we", " assume", " that", " all", " possible", " permutations", " of", " the", " input", " list", " are", " equally", " likely", ",", " the", " average", " time", " taken", " for", " sorting", " using", " quick", "sort", " is", [" O", 10 ], ["(n", 10 ], [" log", 10 ], [" n", 10 ], [").", 10 ] ],
|
|
153
|
+
["Because", " the", " clique", " problem", " cracks", " the", " ", "3", ["SAT", 10 ], [" problem", 10 ], ",", " we", " can", " say", " that", " clique", " is", [" NP", 10 ], ["-complete", 10 ], "."],
|
|
154
|
+
["A", " problem", " is", " in", " P", ["SPACE", 10 ], " if", " it", " can", " be", [" computed", 10 ], " by", " a", [" Turing", 8 ], [" machine", 10 ], " using", [" polynomial", 10 ], [" space", 10 ], ",", " and", " P", ["SPACE", 10 ], " contains", " many", " problems", " that", " are", " believed", " to", " be", " harder", " than", [" NP", 10 ], ",", " such", " as", " Q", ["BF", 10 ], " and", " T", ["Q", 10 ], ["BF", 10 ], "."],
|
|
155
|
+
["Let", " M", " be", " a", " nond", "etermin", "istic", [" Turing", 9 ], [" machine", 10 ], " that", [" decides", 10 ], " L", " in", [" polynomial", 10 ], [" time", 10 ], "."]
|
|
156
|
+
],
|
|
157
|
+
"false_explanations": [
|
|
158
|
+
"phrases relating to algorithms",
|
|
159
|
+
"phrases relating to computers",
|
|
160
|
+
"mathematical expressions",
|
|
161
|
+
"instances of the words \"NP\", \"complexity\", and \"Turing\""
|
|
162
|
+
]
|
|
163
|
+
},
|
|
164
|
+
"an": {
|
|
165
|
+
"name": "an",
|
|
166
|
+
"explanation": "positions in the sentence where the next word is likely to be \"an\"",
|
|
167
|
+
"sentences": [
|
|
168
|
+
["I", " climbed", " a", " pear", " tree", " and", " picked", " a", " pear", ".", " I", " climbed", " an", " apple", " tree", " and", [" picked", 9 ], " an", " apple", "."],
|
|
169
|
+
["Looking", " for", " an", " easy", " way", " to", " protest", " Bush", " foreign", " policy", " week", " after", " week", "?", [" And", 6 ], " an", " easy", " way", " to", " help", " alleviate", " global", " poverty", "?", " Buy", " your", " gasoline", " at", " Cit", "go", " stations", ".", " Looking", [" for", 10 ], " an", " easy", " way", " to", " protest", " Bush", " foreign", " policy", " week", " after", " week", "?", [" And", 10 ], " an", " easy", " way", " to", " help", " alleviate", " global", " poverty", "?"],
|
|
170
|
+
["At", " one", " point", ",", " the", " tro", "oper", " said", " the", " car", " was", " going", " over", " ", "100", [" miles", 7 ], " an", " hour", "."],
|
|
171
|
+
["As", " an", " undergrad", ",", " I", " spent", " much", " of", " my", " time", " reading", " Aristotle", ".", " I", " spent", " many", " restless", " nights", [" as", 10 ], " an", " undergrad", " tossing", " and", " turning", ",", " trying", " to", " make", " sense", " of", " these", " sentences", "."],
|
|
172
|
+
["It", " took", " me", " a", " long", " time", " to", " fall", " asleep", " last", " night", ".", " I", " laid", " in", " bed", [" for", 1 ], [" almost", 8 ], " an", " hour", "."],
|
|
173
|
+
["At", " one", " point", ",", " the", " trooper", " said", " the", " car", " was", " going", " over", " 100", [" miles", 7 ], " per", " hour", "."],
|
|
174
|
+
["Looking", " for", " the", " easy", " way", " to", " protest", " Bush", " foreign", " policy", " week", " after", " week", "?", " And", " the", " easy", " way", " to", " help", " alleviate", " global", " poverty", "?", " Buy", " your", " gasoline", " at", " Cit", "go", " stations", ".", " Looking", " for", " the", " easy", " way", " to", " protest", " Bush", " foreign", " policy", " week", " after", " week", "?", " And", " the", " easy", " way", " to", " help", " alleviate", " global", " poverty", "?"]
|
|
175
|
+
],
|
|
176
|
+
"false_explanations": [
|
|
177
|
+
"words which are likely to be followed by the word \"a\"",
|
|
178
|
+
"language related to something being significant or intense",
|
|
179
|
+
"instances of the words \"picked\", \"for\", and \"as\"",
|
|
180
|
+
"positions in the sentence where the next word is likely to be \"a\""
|
|
181
|
+
]
|
|
182
|
+
},
|
|
183
|
+
"time": {
|
|
184
|
+
"name": "time",
|
|
185
|
+
"explanation": "time phrases proceeded by the word \"in\"",
|
|
186
|
+
"sentences": [
|
|
187
|
+
["I", " haven", "'t", " been", " to", " Z", "uma", " Beach", " in", [" quite", 7 ], [" some", 8 ], [" time", 10 ], ".", " I", " had", " forgotten", " how", " much", " I", " love", " it", " there", "."],
|
|
188
|
+
["There", " is", " a", " level", " of", " excitement", " in", " the", " market", ".", " We", "'re", " seeing", " levels", " we", " haven", "'t", " seen", " in", [" some", 8 ], [" time", 9 ], ",", " and", " people", " are", " shouting", "."],
|
|
189
|
+
["Out", "k", "ast", " hit", " the", " stage", " for", " the", " first", " time", " in", [" nearly", 8 ], [" a", 8 ], [" decade", 10 ], " last", " weekend", " at", " the", " Coach", "ella", " Music", " and", " Arts", " festival", "."],
|
|
190
|
+
["The", " Augusta", " River", "H", "awks", " entered", " the", " weekend", " within", " striking", " distance", " of", " eighth", " place", " in", " the", " SP", "HL", " standings", " for", " the", " first", " time", " in", [" months", 10 ], "."],
|
|
191
|
+
["K", "aty", " Perry", " returned", " Thursday", " with", " her", " first", " new", " music", " in", [" months", 10 ], "."],
|
|
192
|
+
["It", " hasn", "'t", " stopped", " raining", " in", [" ten", 9 ], [" weeks", 9 ], "."],
|
|
193
|
+
["In", [" three", 9 ], [" years", 10 ], ",", " I", " expect", " this", " to", " be", " huge", "."],
|
|
194
|
+
["For", " the", " last", " time", " in", " a", [" three", 2 ], [" day", 9 ], [" period", 9 ], ",", " John", " stood", " up", " to", " speak", "."],
|
|
195
|
+
["It", " has", " been", " months", " since", " I", " last", " saw", " you", "."],
|
|
196
|
+
["My", " father", " worked", " at", " the", " factory", " for", " quite", " a", " long", " time", "."],
|
|
197
|
+
["It", " hasn", "'t", " stopped", " raining", " for", " ten", " weeks", "."],
|
|
198
|
+
["Three", " years", " from", " now", ",", " I", " expect", " this", " to", " be", " huge", "."],
|
|
199
|
+
["For", " the", " last", " time", " over", " the", " three", " days", " period", ",", " John", " stood", " up", " to", " speak", "."]
|
|
200
|
+
],
|
|
201
|
+
"false_explanations": [
|
|
202
|
+
"phrases related to durations of time",
|
|
203
|
+
"language related to the first or most recent instance of something",
|
|
204
|
+
"instances of the words \"months\", \"some\", and \"time\""
|
|
205
|
+
]
|
|
206
|
+
},
|
|
207
|
+
"stop": {
|
|
208
|
+
"name": "stop",
|
|
209
|
+
"explanation": "language related to something being stopped, prevented, or halted, but only when negated",
|
|
210
|
+
"sentences": [
|
|
211
|
+
["But", " that", " didn", "'t", [" stop", 10 ], " it", " becoming", " one", " of", " the", " most", " popular", " products", " on", " the", " shelf", "."],
|
|
212
|
+
["Technology", " has", " changed", " quite", " a", " bit", " over", " Vernon", " Cook", "'s", " lifetime", ",", " but", " that", " hasn", "'t", [" stopped", 10 ], " him", " from", " embracing", " the", " advance", "."],
|
|
213
|
+
["The", " Storm", " and", " Sharks", " don", "'t", " have", " the", " same", " stor", "ied", " rivalry", " as", " some", " of", " the", " grand", " finalists", " in", " years", " gone", " by", ",", " but", " that", " hasn", "'t", [" halted", 10 ], " their", " captivating", " contests", " in", " recent", " times", "."],
|
|
214
|
+
["Of", " course", ",", " that", " didn", "'t", [" stop", 10 ], " audiences", " from", " going", " to", " see", " the", " movie", " in", " dro", "ves", ",", " and", " eventually", " the", " ", "201", "4", " Teen", "age", " Mut", "ant", " Ninja", " T", "urtles", " movie", " made", " enough", " money", " to", " warrant", " putting", " a", " sequel", " into", " production", "."],
|
|
215
|
+
["But", " that", " didn", "'t", [" keep", 10 ], " the", " veteran", " centre", " from", " r", "aving", " about", " the", " organization", " following", " the", " end", " of", " his", " brief", " tenure", "."],
|
|
216
|
+
["I", " won", "'t", [" stop", 10 ], " until", " I", " get", " there", "."],
|
|
217
|
+
["Michael", " isn", "'t", " going", " to", [" stop", 10 ], " thinking", " about", " how", " to", " solve", " the", " problem", "."],
|
|
218
|
+
["I", " can", "'t", [" stop", 10 ], " eating", " so", " many", " of", " the", " cookies", " they", " put", " out", " at", " ", "3", "pm", "."],
|
|
219
|
+
["But", " that", " stopped", " it", " becoming", " one", " of", " the", " most", " popular", " products", " on", " the", " shelf", "."],
|
|
220
|
+
["Technology", " has", " changed", " quite", " a", " bit", " over", " Vernon", " Cook", "'s", " lifetime", ",", " and", " that", " stopped", " him", " from", " embracing", " the", " advance", "."],
|
|
221
|
+
["I", " have", " to", " stop", " before", " I", " get", " there", "."],
|
|
222
|
+
["Michael", " should", " stop", " thinking", " about", " how", " to", " solve", " the", " problem", "."],
|
|
223
|
+
["I", " must", " stop", " eating", " so", " many", " of", " the", " cookies", " they", " put", " out", " at", " ", "3", "pm", "."]
|
|
224
|
+
],
|
|
225
|
+
"false_explanations": [
|
|
226
|
+
"language related to something being stopped, prevented, or halted",
|
|
227
|
+
"language related to sports and media",
|
|
228
|
+
"instances of the words \"stop\", \"stopped\", and \"halted\""
|
|
229
|
+
]
|
|
230
|
+
},
|
|
231
|
+
"of": {
|
|
232
|
+
"name": "of",
|
|
233
|
+
"explanation": "positions in the passage following the word \"of\"",
|
|
234
|
+
"sentences": [
|
|
235
|
+
["I", "'ve", " had", " enough", " of", [" your", 10 ], " nonsense", "."],
|
|
236
|
+
["The", " birds", " seemed", " unaware", " of", [" the", 10 ], " cat", " lurking", " nearby", "."],
|
|
237
|
+
["A", " lot", " of", [" people", 10 ], " are", " struggling", " right", " now", "."],
|
|
238
|
+
["The", " fragrance", " of", [" fresh", 10 ], " bread", " filled", " the", " bakery", "."],
|
|
239
|
+
["I", "'m", " really", " proud", " of", [" my", 10 ], " accomplishments", " this", " year", "."],
|
|
240
|
+
["I", "'ve", " had", " it", " with", " your", " nonsense", "."],
|
|
241
|
+
["The", " birds", " seemed", " unaware", " that", " the", " cat", " was", " lurking", " nearby", "."],
|
|
242
|
+
["Many", " people", " are", " struggling", " right", " now", "."],
|
|
243
|
+
["The", " bakery", " smelled", " like", " fresh", " bread", "."],
|
|
244
|
+
["I", "'m", " really", " proud", " about", " my", " accomplishments", " this", " year", "."]
|
|
245
|
+
],
|
|
246
|
+
"false_explanations": [
|
|
247
|
+
"the word \"of\" and nothing else",
|
|
248
|
+
"common words",
|
|
249
|
+
"instances of the words \"your\", \"cat\", and \"people\""
|
|
250
|
+
]
|
|
251
|
+
},
|
|
252
|
+
"million": {
|
|
253
|
+
"name": "million",
|
|
254
|
+
"explanation": "numbers greater than one million and nothing else",
|
|
255
|
+
"sentences": [
|
|
256
|
+
["The", " company", "'s", " revenues", " surpassed", " $", "2", ",", "000", ",", ["560", 10 ], " this", " year", ",", " marking", " a", " significant", " milestone", " in", " their", " growth", "."],
|
|
257
|
+
["The", " population", " of", " Shanghai", " is", " estimated", " to", " be", " around", " ", ["24", 10 ], [",", 10 ], ["000", 10 ], [",", 10 ], ["000", 10 ], ",", " making", " it", " one", " of", " the", " world", "'s", " largest", " cities", "."],
|
|
258
|
+
["The", " auction", " house", " estimated", " the", " painting", "'s", " value", " at", " $", "5", ",", "500", ",", ["001", 10 ], ",", " but", " it", " ultimately", " sold", " for", " nearly", " twice", " that", " amount", "."],
|
|
259
|
+
["In", " ", "201", "8", ",", " over", " ", "2", ",", "300", ",", ["000", 10 ], " people", " attended", " L", "oll", "ap", "al", "oo", "za", " music", " festival", " in", " Chicago", "."],
|
|
260
|
+
["With", " a", " net", " worth", " of", " $", "18", ",", "000", ",", ["000", 10 ], [",", 10 ], ["000", 10 ], ",", " the", " celebrity", " has", " been", " able", " to", " afford", " a", " luxurious", " lifestyle", " for", " her", " and", " her", " family", "."],
|
|
261
|
+
["The", " company", "'s", " revenues", " surpassed", " $", "999", ",", "999", " this", " year", ",", " marking", " a", " significant", " milestone", " in", " their", " growth", "."],
|
|
262
|
+
["The", " population", " of", " Shanghai", " is", " estimated", " to", " be", " around", " ", "24", ",", "560", ",", " making", " it", " one", " of", " the", " world", "'s", " largest", " cities", "."],
|
|
263
|
+
["The", " auction", " house", " estimated", " the", " painting", "'s", " value", " at", " $", "450", ",", "001", ",", " but", " it", " ultimately", " sold", " for", " nearly", " twice", " that", " amount", "."],
|
|
264
|
+
["In", " ", "201", "8", ",", " over", " ", "230", "0", " people", " attended", " L", "oll", "ap", "al", "oo", "za", " music", " festival", " in", " Chicago", "."],
|
|
265
|
+
["With", " a", " net", " worth", " of", " $", "990", "000", ",", " the", " celebrity", " has", " been", " able", " to", " afford", " a", " luxurious", " lifestyle", " for", " her", " and", " her", " family", "."]
|
|
266
|
+
],
|
|
267
|
+
"false_explanations": [
|
|
268
|
+
"sequences of digits",
|
|
269
|
+
"large numbers",
|
|
270
|
+
"the sequences of digits \"000\", \"001\", and \"560\""
|
|
271
|
+
]
|
|
272
|
+
},
|
|
273
|
+
"people": {
|
|
274
|
+
"name": "people",
|
|
275
|
+
"explanation": "numbers if and only if they refer to a number of people",
|
|
276
|
+
"sentences": [
|
|
277
|
+
["I", " went", " to", " the", " party", " and", " was", " surprised", " to", " see", " that", " out", " of", " our", " whole", " group", ",", " there", " were", " only", " ", ["2", 10 ], " people", " there", "."],
|
|
278
|
+
["Our", " company", " is", " growing", " quickly", " and", " we", " have", " now", " hired", " more", " than", " ", ["150", 10 ], " employees", "."],
|
|
279
|
+
["The", " bus", " was", " packed", " with", " people", ":", " at", " least", " ", ["50", 10 ], " total", "."],
|
|
280
|
+
["The", " teacher", " divided", " the", " class", " of", " ", ["30", 10 ], " students", " into", " six", " groups", " of", " ", ["5", 10 ], "."],
|
|
281
|
+
["I", " was", " one", " of", " ", ["12", 10 ], " people", " who", " were", " selected", " for", " the", " jury", "."],
|
|
282
|
+
["I", " have", " quite", " a", " few", " books", " that", " I", " need", " to", " return", " to", " the", " library", " -", " almost", " ", "20", " in", " total", "."],
|
|
283
|
+
["It", " was", " a", " long", " hike", ",", " but", " we", " finally", " made", " it", " to", " the", " top", " after", " close", " to", " ", "6", " hours", "."],
|
|
284
|
+
["I", " won", " $", "20", " in", " the", " r", "affle", "."],
|
|
285
|
+
["My", " dad", " has", " been", " collecting", " coins", " for", " years", " and", " now", " has", " over", " ", "400", " of", " them", "."],
|
|
286
|
+
["For", " the", " recipe", " I", " want", " to", " make", ",", " I", " need", " to", " buy", " ", "8", " eggs", "."]
|
|
287
|
+
],
|
|
288
|
+
"false_explanations": [
|
|
289
|
+
"numbers",
|
|
290
|
+
"numbers under one thousand",
|
|
291
|
+
"instances of the numbers 2, 50, and 150"
|
|
292
|
+
]
|
|
293
|
+
},
|
|
294
|
+
"python": {
|
|
295
|
+
"name": "python",
|
|
296
|
+
"explanation": "the character \"<\" if it occurs in the context of programming but not HTML or math",
|
|
297
|
+
"sentences": [
|
|
298
|
+
["assert", " cumulative", "_num", "_branch", "es", [" <", 10 ], " num", "_branch", "es", "_to", "_check", ",", " \"", "cum", "ulative", " number", " of", " branches", " checked", " should", " not", " exceed", " the", " target", "\"\n"],
|
|
299
|
+
["for", " i", " in", " range", "(", "100", "):\n", " ", " if", " i", [" <", 10 ], " ", "50", ":\n", " ", " print", "(i", ")\n"],
|
|
300
|
+
["print", "(\"", "x", " is", " smaller", " than", " y", "\"", " if", " x", [" <", 10 ], " y", " else", " \"", "x", " is", " not", " smaller", " than", " y", "\")\n"],
|
|
301
|
+
["age", " =", " int", "(input", "(\"", "Enter", " your", " age", ":", " \"))\n", "if", " age", [" <", 10 ], " ", "18", ":\n", " ", " print", "(\"", "You", "'re", " not", " old", " enough", " to", " vote", ".\")\n", "else", ":\n", " ", " print", "(\"", "You", "'re", " old", " enough", " to", " vote", ".\")\n"],
|
|
302
|
+
["<html", ">", " <", "head", ">", " <", "title", ">Hello", " World", "</", "title", ">"],
|
|
303
|
+
["<form", "><", "label", " for", "=\"", "username", "\">", "Username", ":</", "label", "><", "br", " /><", "input", " type", "=\"", "text", "\"", " name", "=\"", "username", "\"", " /><", "br", " /><", "label", " for", "=\"", "password", "\">", "Password", ":</", "label", "><", "br", " /><", "input", " type", "=\"", "password", "\"", " name", "=\"", "password", "\"", " /><", "br", " /><", "input", " type", "=\"", "submit", "\"", " value", "=\"", "Login", "\"", " /></", "form", ">"],
|
|
304
|
+
["<ul", ">", " <", "li", ">", "Red", "</", "li", ">", " <", "li", ">", "Blue", "</", "li", ">", " <", "li", ">", "Green", "</", "li", ">", " </", "ul", ">"],
|
|
305
|
+
["<tr", ">", " <", "th", ">", "First", " Name", "</", "th", ">", " <", "th", ">Last", " Name", "</", "th", ">", " </", "tr", ">"],
|
|
306
|
+
["for", " (", "int", " i", " =", " 0", ";", " i", [" <", 10 ], " 10", ";", " ++", "i", ")", " {", "\n", " ", " //", " do", " something", " ten", " times", "\n", "}"],
|
|
307
|
+
["alph", "abet", "ically", "Before", " ::", " String", " ->", " String", " ->", " B", "ool", "\n", "alph", "abet", "ically", "Before", " str", "1", " str", "2", " =", " str", "1", [" <", 10 ], " str", "2"],
|
|
308
|
+
["By", " definition", ",", " the", " spectral", " radius", " of", " A", " is", " the", " maximum", " of", " the", " absolute", " values", " of", " its", " e", "igen", "values", ".", " We", " know", " that", " each", " e", "igen", "value", " of", " A", " has", " an", " absolute", " value", " strictly", " less", " than", " 1", ".", " Thus", ",", " the", " maximum", " will", " also", " be", " strictly", " less", " than", " 1", ",", " so", " the", " spectral", " radius", " of", " A", " is", " <", " 1", "."],
|
|
309
|
+
["By", " definition", ",", " the", " Fro", "ben", "ius", " norm", " is", " the", " square", " root", " of", " the", " sum", " of", " the", " squared", " matrix", " entries", ".", " We", " know", " that", " every", " entry", " in", " matrix", " A", " is", " strictly", " smaller", " than", " the", " corresponding", " entry", " in", " matrix", " B", ".", " So", ",", " the", " sum", " of", " the", " squared", " matrix", " entries", " in", " A", " will", " be", " strictly", " smaller", " than", " the", " sum", " of", " the", " squared", " matrix", " entries", " in", " B", ".", " Taking", " square", " roots", " preserves", " this", " order", ",", " hence", " ||", "A", "||", "_", "F", " <", " ||", "B", "||", "_", "F", "."]
|
|
310
|
+
],
|
|
311
|
+
"false_explanations": [
|
|
312
|
+
"the character \"<\"",
|
|
313
|
+
"less than symbols",
|
|
314
|
+
"HTML tags"
|
|
315
|
+
]
|
|
316
|
+
},
|
|
317
|
+
"html": {
|
|
318
|
+
"name": "html",
|
|
319
|
+
"explanation": "the character \"<\" if it occurs in the context of HTML but not programming or math",
|
|
320
|
+
"sentences": [
|
|
321
|
+
["assert", " cumulative", "_num", "_branch", "es", " <", " num", "_branch", "es", "_to", "_check", ",", " \"", "cum", "ulative", " number", " of", " branches", " checked", " should", " not", " exceed", " the", " target", "\"\n"],
|
|
322
|
+
["for", " i", " in", " range", "(", "100", "):\n", " ", " if", " i", " <", " ", "50", ":\n", " ", " print", "(i", ")\n"],
|
|
323
|
+
["print", "(\"", "x", " is", " smaller", " than", " y", "\"", " if", " x", " <", " y", " else", " \"", "x", " is", " not", " smaller", " than", " y", "\")\n"],
|
|
324
|
+
["age", " =", " int", "(input", "(\"", "Enter", " your", " age", ":", " \"))\n", "if", " age", " <", " ", "18", ":\n", " ", " print", "(\"", "You", "'re", " not", " old", " enough", " to", " vote", ".\")\n", "else", ":\n", " ", " print", "(\"", "You", "'re", " old", " enough", " to", " vote", ".\")\n"],
|
|
325
|
+
[["<html", 10 ], ">", [" <", 10 ], "head", ">", [" <", 10 ], "title", ">Hello", " World", ["</", 10 ], "title", ">"],
|
|
326
|
+
[["<form", 10 ], ["><", 10 ], "label", " for", "=\"", "username", "\">", "Username", [":</", 10 ], "label", ["><", 10 ], "br", [" /><", 10 ], "input", " type", "=\"", "text", "\"", " name", "=\"", "username", "\"", [" /><", 10 ], "br", [" /><", 10 ], "label", " for", "=\"", "password", "\">", "Password", [":</", 10 ], "label", ["><", 10 ], "br", [" /><", 10 ], "input", " type", "=\"", "password", "\"", " name", "=\"", "password", "\"", [" /><", 10 ], "br", [" /><", 10 ], "input", " type", "=\"", "submit", "\"", " value", "=\"", "Login", "\"", [" /></", 10 ], "form", ">"],
|
|
327
|
+
[["<ul", 10 ], ">", [" <", 10 ], "li", ">", "Red", ["</", 10 ], "li", ">", [" <", 10 ], "li", ">", "Blue", ["</", 10 ], "li", ">", [" <", 10 ], "li", ">", "Green", ["</", 10 ], "li", ">", [" </", 10 ], "ul", ">"],
|
|
328
|
+
[["<tr", 10 ], ">", [" <", 10 ], "th", ">", "First", " Name", ["</", 10 ], "th", ">", [" <", 10 ], "th", ">Last", " Name", ["</", 10 ], "th", ">", [" </", 10 ], "tr", ">"],
|
|
329
|
+
["for", " (", "int", " i", " =", " 0", ";", " i", " <", " 10", ";", " ++", "i", ")", " {", "\n", " ", " //", " do", " something", " ten", " times", "\n", "}"],
|
|
330
|
+
["alph", "abet", "ically", "Before", " ::", " String", " ->", " String", " ->", " B", "ool", "\n", "alph", "abet", "ically", "Before", " str", "1", " str", "2", " =", " str", "1", " <", " str", "2"],
|
|
331
|
+
["By", " definition", ",", " the", " spectral", " radius", " of", " A", " is", " the", " maximum", " of", " the", " absolute", " values", " of", " its", " e", "igen", "values", ".", " We", " know", " that", " each", " e", "igen", "value", " of", " A", " has", " an", " absolute", " value", " strictly", " less", " than", " 1", ".", " Thus", ",", " the", " maximum", " will", " also", " be", " strictly", " less", " than", " 1", ",", " so", " the", " spectral", " radius", " of", " A", " is", " <", " 1", "."],
|
|
332
|
+
["By", " definition", ",", " the", " Fro", "ben", "ius", " norm", " is", " the", " square", " root", " of", " the", " sum", " of", " the", " squared", " matrix", " entries", ".", " We", " know", " that", " every", " entry", " in", " matrix", " A", " is", " strictly", " smaller", " than", " the", " corresponding", " entry", " in", " matrix", " B", ".", " So", ",", " the", " sum", " of", " the", " squared", " matrix", " entries", " in", " A", " will", " be", " strictly", " smaller", " than", " the", " sum", " of", " the", " squared", " matrix", " entries", " in", " B", ".", " Taking", " square", " roots", " preserves", " this", " order", ",", " hence", " ||", "A", "||", "_", "F", " <", " ||", "B", "||", "_", "F", "."]
|
|
333
|
+
],
|
|
334
|
+
"false_explanations": [
|
|
335
|
+
"the character \"<\"",
|
|
336
|
+
"less than symbols",
|
|
337
|
+
"HTML tags"
|
|
338
|
+
]
|
|
339
|
+
},
|
|
340
|
+
"int": {
|
|
341
|
+
"name": "int",
|
|
342
|
+
"explanation": "integer variables in C programs",
|
|
343
|
+
"sentences": [
|
|
344
|
+
["int", [" a", 10 ], " =", " ", "20", ";\n", "float", " b", " =", " ", "2", ".", "2", "\n", "str", " c", " =", " \"", "a", "\";\n", "printf", "(\"%", "d", "\",", ["a", 10 ], ")\n", "printf", "(\"%", "f", "\",", ["a", 10 ], " +", " b", ")\n", "printf", "(\"%", "s", "\",", "c", ")\n"],
|
|
345
|
+
["int", [" a", 10 ], ",", [" b", 10 ], ",", [" product", 10 ], ";\n", "printf", "(\"", "Enter", " two", " integers", ":", " \");\n", "scanf", "(\"%", "d", " %", "d", "\",", " &", ["a", 10 ], ",", " &", ["b", 10 ], ");\n", "product", " =", [" a", 10 ], " *", [" b", 10 ], ";\n", "printf", "(\"", "The", " product", " is", ":", " %", "d", "\n", "\",", [" product", 10 ], ");\n"],
|
|
346
|
+
["int", " main", "()", " {\n", " ", " char", " c", " =", " '", "c", "';\n", " ", " return", " c", " ==", " '", "c", "';\n", "}\n"],
|
|
347
|
+
["if", " (", "n", " //", " ", "2", " >", " ", "10", ")", " {\n", " ", " printf", "(\"", "The", " number", " is", " big", ".\n", "\");\n", "}", " else", " {\n", " ", " printf", "(\"", "The", " number", " is", " small", ".\n", "\");\n", "}\n"],
|
|
348
|
+
["#include", " <", "stdio", ".h", ">\n", "#define", " PI", " ", "3", ".", "141", "592", "653", "589", "793", "238", "46", "\n\n", "int", " main", "()", " {\n", " ", " float", " radius", ",", " area", ";\n", " ", " printf", "(\"", "Enter", " the", " radius", " of", " the", " circle", ":", " \");\n", " ", " scanf", "(\"%", "f", "\",", " &", "radius", ");\n", " ", " area", " =", " PI", " *", " radius", " *", " radius", ";\n", " ", " printf", "(\"", "The", " area", " of", " the", " circle", " is", ":", " %", "f", "\n", "\",", " area", ");\n", " ", " return", " ", "0", ";\n", "}\n"],
|
|
349
|
+
["char", " str", "[", "100", "],", " rev", "[", "100", "];\n", "int", [" len", 10 ], ",", [" i", 10 ], ",", [" j", 10 ], ";\n", "printf", "(\"", "Enter", " a", " string", ":", " \");\n", "gets", "(str", ");\n", "len", " =", " strlen", "(str", ");\n", ["j", 10 ], " =", " len", " -", " ", "1", ";\n", "for", " (", ["i", 10 ], " =", " ", "0", ";", [" i", 10 ], " <", [" len", 10 ], ";", [" i", 10 ], "++)", " {\n", " ", " rev", ["[i", 10 ], "]", " =", " str", ["[j", 10 ], "];\n", " ", [" j", 10 ], "--;\n", "}\n", "rev", ["[i", 10 ], "]", " =", " '", "\u0000", "';\n", "printf", "(\"", "The", " reversed", " string", " is", ":", " %", "s", "\n", "\",", " rev", ");\n"]
|
|
350
|
+
],
|
|
351
|
+
"false_explanations": [
|
|
352
|
+
"variables in C programs",
|
|
353
|
+
"numerical variables in C programs",
|
|
354
|
+
"instances of the letters \"a\", \"i\", and \"j\""
|
|
355
|
+
]
|
|
356
|
+
},
|
|
357
|
+
"death": {
|
|
358
|
+
"name": "death",
|
|
359
|
+
"explanation": "phrases in a passage that indicate a character has died",
|
|
360
|
+
"sentences": [
|
|
361
|
+
["The", " two", " men", " fought", " fiercely", ",", " swords", " cl", "ashing", " in", " a", " deadly", " duel", ".", " But", " in", " the", " end", ",", " only", " one", " could", " emerge", " victorious", ".", " With", " a", " final", " powerful", " swing", ",", " John", " ran", " his", " blade", " through", " the", " other", " man", "'s", " chest", ",", [" ending", 8 ], [" his", 8 ], [" life", 10 ], "."],
|
|
362
|
+
["Ad", "eline", " knew", " she", " wouldn", "'t", " make", " it", " out", " of", " the", " burning", " building", ".", " The", " flames", " were", " too", " intense", ",", " and", " the", " smoke", " was", " choking", " her", ".", " As", " the", " flames", " engulf", "ed", " her", ",", " she", " thought", " of", " her", " loved", " ones", " one", " last", " time", " before", " succ", ["umbing", 9 ], [" to", 7 ], [" the", 7 ], [" fire", 10 ], "."],
|
|
363
|
+
["The", " gunshot", " rang", " out", " in", " the", " empty", " alley", ",", " and", " Jim", " fell", " to", " the", " ground", ",", " blood", " pooling", " around", " him", ".", " He", " tried", " to", " hold", " on", ",", " to", " fight", " for", " life", ",", " but", " the", " wound", " was", " too", " severe", ".", " As", " his", " vision", [" faded", 7 ], [" to", 7 ], [" black", 10 ], ",", " he", " wondered", " who", " would", " take", " care", " of", " his", " little", " girl", " now", "."],
|
|
364
|
+
["The", " zombie", " outbreak", " had", " taken", " everyone", " by", " surprise", ",", " and", " no", " one", " was", " more", " un", "prepared", " than", " Barry", ".", " He", " had", " managed", " to", " survive", " the", " initial", " onslaught", ",", " but", " he", "'d", " been", " bitten", " in", " the", " process", ".", " Now", ",", " as", " the", " virus", [" took", 7 ], [" over", 8 ], [" his", 8 ], [" body", 10 ], ",", " he", " knew", " it", " wouldn", "'t", " be", " long", " before", " he", " was", " one", " of", " them", "."],
|
|
365
|
+
["The", " doctor", " told", " T", "essa", " she", " only", " had", " a", " few", " months", " left", " to", " live", ".", " But", " she", " was", " determined", " to", " make", " the", " most", " of", " it", ".", " She", " traveled", ",", " spent", " time", " with", " loved", " ones", ",", " and", " tried", " new", " things", ".", " But", " when", " the", " end", " came", ",", " it", " was", " still", " a", " shock", ".", " T", "essa", [" passed", 10 ], [" away", 10 ], [" peacefully", 10 ], " in", " her", " sleep", ",", " surrounded", " by", " family"],
|
|
366
|
+
["The", " two", " men", " fought", " fiercely", ",", " swords", " cl", "ashing", " in", " a", " deadly", " duel", ".", " But", " in", " the", " end", ",", " only", " one", " could", " emerge", " victorious", ".", " With", " a", " final", " powerful", " swing", ",", " John", " dis", "armed", " the", " other", " man", ",", " ending", " the", " fight", "."],
|
|
367
|
+
["Ad", "eline", " knew", " she", " wouldn", "'t", " make", " it", " out", " of", " the", " burning", " building", ".", " The", " flames", " were", " too", " intense", ",", " and", " the", " smoke", " was", " choking", " her", ".", " But", " just", " as", " she", " was", " about", " to", " lose", " consciousness", ",", " a", " firefighter", " burst", " through", " the", " door", " and", " pulled", " her", " to", " safety", "."],
|
|
368
|
+
["The", " gunshot", " rang", " out", " in", " the", " empty", " alley", ",", " and", " Jim", " fell", " to", " the", " ground", ",", " blood", " pooling", " around", " him", ".", " He", " tried", " to", " hold", " on", ",", " to", " fight", " for", " life", ",", " and", " by", " some", " miracle", ",", " he", " managed", " to", " stay", " alive", " until", " help", " arrived", "."],
|
|
369
|
+
["The", " zombie", " outbreak", " had", " taken", " everyone", " by", " surprise", ",", " and", " no", " one", " was", " more", " un", "prepared", " than", " Barry", ".", " He", " had", " managed", " to", " survive", " the", " initial", " onslaught", ",", " but", " he", "'d", " been", " bitten", " in", " the", " process", ".", " However", ",", " the", " bite", " didn", "'t", " seem", " to", " affect", " him", ",", " and", " he", " went", " on", " to", " help", " others", " survive", " the", " outbreak", "."],
|
|
370
|
+
["The", " doctor", " told", " T", "essa", " she", " only", " had", " a", " few", " months", " left", " to", " live", ".", " But", " she", " was", " determined", " to", " make", " the", " most", " of", " it", ".", " She", " traveled", ",", " spent", " time", " with", " loved", " ones", ",", " and", " tried", " new", " things", ".", " And", " against", " all", " odds", ",", " her", " health", " improved", ",", " and", " she", " went", " on", " to", " live", " a", " long", " and", " fulfilling", " life", "."]
|
|
371
|
+
],
|
|
372
|
+
"false_explanations": [
|
|
373
|
+
"phrases indicating violence",
|
|
374
|
+
"momentous events in characters' lives",
|
|
375
|
+
"instances of the words \"life\", \"passed\", and \"black\""
|
|
376
|
+
]
|
|
377
|
+
},
|
|
378
|
+
"motivation": {
|
|
379
|
+
"name": "motivation",
|
|
380
|
+
"explanation": "phrases indicating a character's motivation",
|
|
381
|
+
"sentences": [
|
|
382
|
+
["Mary", " always", [" fantas", 8 ], ["ized", 7 ], [" about", 8 ], [" running", 8 ], [" a", 8 ], [" marathon", 8 ], ",", " so", " she", " trained", " for", " a", " whole", " summer", " and", " signed", " up", " for", " one", "."],
|
|
383
|
+
["As", " a", " child", ",", " James", " had", " been", [" fascinated", 8 ], [" by", 8 ], [" the", 8 ], [" stars", 8 ], ".", " Now", ",", " as", " an", " ast", "roph", "ys", "ic", "ist", ",", " he", " was", [" driven", 8 ], [" by", 8 ], [" the", 8 ], [" desire", 8 ], [" to", 8 ], [" understand", 8 ], [" the", 8 ], [" universe", 8 ], "."],
|
|
384
|
+
["It", " wasn", "'t", " greed", " that", " made", " Tom", " work", " overtime", " at", " the", " factory", ".", " He", " just", [" wanted", 8 ], [" to", 8 ], [" be", 8 ], [" able", 8 ], [" to", 8 ], [" give", 8 ], [" his", 8 ], [" kids", 8 ], [" a", 8 ], [" better", 8 ], [" life", 8 ], [" than", 8 ], [" he", 8 ], ["'d", 8 ], [" had", 8 ], "."],
|
|
385
|
+
["Mad", "ison", "'s", " friends", " had", " always", " told", " her", " she", " was", " a", " great", " singer", ",", " but", " she", " never", " really", " believed", " them", ".", " It", " wasn", "'t", " until", " her", " grandmother", " passed", " away", " and", " left", " her", " a", " note", " telling", " her", " to", " pursue", " her", " dreams", " that", " she", " finally", [" found", 9 ], [" the", 9 ], [" courage", 9 ], [" to", 9 ], [" audition", 9 ], " for", " the", " local", " talent", " show", "."],
|
|
386
|
+
["Rachel", " didn", "'t", " like", " spending", " her", " weekends", " volunteering", " at", " the", " soup", " kitchen", ".", " But", " she", " was", [" determined", 8 ], [" to", 8 ], [" prove", 8 ], [" to", 9 ], [" her", 9 ], [" parents", 9 ], [" that", 10 ], [" she", 10 ], [" wasn", 10 ], ["'t", 10 ], [" the", 10 ], [" selfish", 10 ], [",", 10 ], [" spoiled", 10 ], [" teenager", 10 ], [" they", 10 ], [" thought", 10 ], [" she", 10 ], [" was", 10 ] ],
|
|
387
|
+
["Mary", " trained", " for", " a", " whole", " summer", " and", " signed", " up", " for", " a", " marathon", "."],
|
|
388
|
+
["As", " an", " ast", "roph", "ys", "ic", "ist", ",", " James", " studied", " the", " universe", "."],
|
|
389
|
+
["Tom", " worked", " overtime", " at", " the", " factory", "."],
|
|
390
|
+
["Mad", "ison", " audition", "ed", " for", " the", " local", " talent", " show", "."],
|
|
391
|
+
["Rachel", " spent", " her", " weekends", " volunteering", " at", " the", " soup", " kitchen", "."]
|
|
392
|
+
],
|
|
393
|
+
"false_explanations": [
|
|
394
|
+
"phrases describing a character",
|
|
395
|
+
"phrases describing a person's inner monologue",
|
|
396
|
+
"instances of the words \"the\", \"to\", and \"by\""
|
|
397
|
+
]
|
|
398
|
+
}
|
|
399
|
+
}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
import json
|
|
2
|
+
import os
|
|
3
|
+
from dataclasses import dataclass
|
|
4
|
+
|
|
5
|
+
from neuron_explainer.activations.activations import ActivationRecord
|
|
6
|
+
|
|
7
|
+
|
|
8
|
+
@dataclass(frozen=True)
|
|
9
|
+
class Puzzle:
|
|
10
|
+
"""A puzzle is a ground truth explanation, a collection of sentences (stored as ActivationRecords) with activations
|
|
11
|
+
according to that explanation, and a collection of false explanations"""
|
|
12
|
+
|
|
13
|
+
name: str
|
|
14
|
+
explanation: str
|
|
15
|
+
activation_records: list[ActivationRecord]
|
|
16
|
+
false_explanations: list[str]
|
|
17
|
+
|
|
18
|
+
|
|
19
|
+
def convert_puzzle_to_tokenized_sentences(puzzle: Puzzle) -> list[list[str]]:
|
|
20
|
+
"""Converts a puzzle to a list of tokenized sentences."""
|
|
21
|
+
return [record.tokens for record in puzzle.activation_records]
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
def convert_puzzle_dict_to_puzzle(puzzle_dict: dict) -> Puzzle:
|
|
25
|
+
"""Converts a json dictionary representation of a puzzle to the Puzzle class."""
|
|
26
|
+
puzzle_activation_records = []
|
|
27
|
+
for sentence in puzzle_dict["sentences"]:
|
|
28
|
+
# Token-activation pairs are listed as either a string or a list of a string and a float. If it is a list, the float is the activation.
|
|
29
|
+
# If it is only a string, the activation is assumed to be 0. This is useful for readability and reducing redundancy in the data.
|
|
30
|
+
tokens = [t[0] if type(t) is list else t for t in sentence]
|
|
31
|
+
assert all([type(t) is str for t in tokens]), "All tokens must be strings"
|
|
32
|
+
activations = [float(t[1]) if type(t) is list else 0.0 for t in sentence]
|
|
33
|
+
assert all([type(t) is float for t in activations]), "All activations must be floats"
|
|
34
|
+
|
|
35
|
+
puzzle_activation_records.append(ActivationRecord(tokens=tokens, activations=activations))
|
|
36
|
+
|
|
37
|
+
return Puzzle(
|
|
38
|
+
name=puzzle_dict["name"],
|
|
39
|
+
explanation=puzzle_dict["explanation"],
|
|
40
|
+
activation_records=puzzle_activation_records,
|
|
41
|
+
false_explanations=puzzle_dict["false_explanations"],
|
|
42
|
+
)
|
|
43
|
+
|
|
44
|
+
|
|
45
|
+
PUZZLES_BY_NAME: dict[str, Puzzle] = dict()
|
|
46
|
+
script_dir = os.path.dirname(os.path.abspath(__file__))
|
|
47
|
+
with open(os.path.join(script_dir, "puzzles.json"), "r") as f:
|
|
48
|
+
puzzle_dicts = json.loads(f.read())
|
|
49
|
+
for name in puzzle_dicts.keys():
|
|
50
|
+
PUZZLES_BY_NAME[name] = convert_puzzle_dict_to_puzzle(puzzle_dicts[name])
|