Edit notes

app.py

@@ -94,8 +94,11 @@ def process_relevances(input_tokens, all_relevances, generated_tokens):
                 token, coords = output_with_notes[i]
                 if coords is not None:
                     prev_width, prev_patch_end = coords
-                    if prev_patch_end > best_patch_end - best_width: # then notes are overlapping, thus we delete the first one.
+                    if prev_patch_end > best_patch_end - best_width:
+                        # then notes are overlapping: thus we delete the first one and make the last wider if needed
                         output_with_notes[i] = (token, None)
+                        if prev_patch_end - prev_width < best_patch_end - best_width:
+                            best_width = best_patch_end - prev_patch_end - prev_width
             output_with_notes.append((generated_tokens[row], (best_width, best_patch_end)))
         else:
             output_with_notes.append((generated_tokens[row], None))
@@ -107,25 +110,25 @@ def process_relevances(input_tokens, all_relevances, generated_tokens):
             significant_end = best_patch_end + kernel_width
             context_start = max(0, significant_start - context_width)
             context_end = min(len(input_tokens), significant_end + context_width)
-            context = input_tokens[context_start:context_end]
-            output_with_notes[i] = (token, (context, significant_start, significant_end))
+            first_part = "".join(input_tokens[context_start:significant_start])
+            significant_part = "".join(input_tokens[significant_start:significant_end])
+            final_part = "".join(input_tokens[significant_end:context_end])
+            print("KK", first_part, significant_part, final_part)
+
+            output_with_notes[i] = (token, (first_part, significant_part, final_part))
 
     return output_with_notes
 
 def create_html_with_hover(output_with_notes):
     html = "<div id='output-container'>"
-    for i, (text, notes) in enumerate(output_with_notes):
+    note_number = 0
+    for (text, notes) in output_with_notes:
         if notes:
-            context, start, end = notes
-            formatted_context = []
-            for j, token in enumerate(context):
-                if start <= j < end:
-                    formatted_context.append(f'<strong>{token}</strong>')
-                else:
-                    formatted_context.append(token)
-            formatted_note = "".join(formatted_context)
-            html += f'<span class="hoverable" data-note-id="note-{i}">{text}<sup>[{i+1}]</sup>'
+            first_part, significant_part, final_part = notes
+            formatted_note = f'{first_part}<strong>{significant_part}</strong>{final_part}'
+            html += f'<span class="hoverable" data-note-id="note-{note_number}">{text}<sup>[{note_number+1}]</sup>'
             html += f'<span class="hover-note">{formatted_note}</span></span>'
+            note_number += 1
         else:
             html += f'{text}'
     html += "</div>"
@@ -148,7 +151,6 @@ css = """
     border-radius: 5px;
     bottom: 100%;
     left: 50%;
-    transform: translateX(-50%);
     white-space: normal;
     background-color: rgba(240, 240, 240, 1);
     max-width: 600px;
@@ -159,14 +161,10 @@ css = """
 .hoverable:hover .hover-note { display: block; }
 """
 examples = [
-    [
-        """Context: Mount Everest attracts many climbers, including highly experienced mountaineers. There are two main climbing routes, one approaching the summit from the southeast in Nepal (known as the standard route) and the other from the north in Tibet. While not posing substantial technical climbing challenges on the standard route, Everest presents dangers such as altitude sickness, weather, and wind, as well as hazards from avalanches and the Khumbu Icefall. As of November 2022, 310 people have died on Everest. Over 200 bodies remain on the mountain and have not been removed due to the dangerous conditions. The first recorded efforts to reach Everest's summit were made by British mountaineers. As Nepal did not allow foreigners to enter the country at the time, the British made several attempts on the north ridge route from the Tibetan side. After the first reconnaissance expedition by the British in 1921 reached 7,000 m (22,970 ft) on the North Col, the 1922 expedition pushed the north ridge route up to 8,320 m (27,300 ft), marking the first time a human had climbed above 8,000 m (26,247 ft). The 1924 expedition resulted in one of the greatest mysteries on Everest to this day: George Mallory and Andrew Irvine made a final summit attempt on 8 June but never returned, sparking debate as to whether they were the first to reach the top. Tenzing Norgay and Edmund Hillary made the first documented ascent of Everest in 1953, using the southeast ridge route. Norgay had reached 8,595 m (28,199 ft) the previous year as a member of the 1952 Swiss expedition. The Chinese mountaineering team of Wang Fuzhou, Gonpo, and Qu Yinhua made the first reported ascent of the peak from the north ridge on 25 May 1960.
+    """Context: Mount Everest attracts many climbers, including highly experienced mountaineers. There are two main climbing routes, one approaching the summit from the southeast in Nepal (known as the standard route) and the other from the north in Tibet. While not posing substantial technical climbing challenges on the standard route, Everest presents dangers such as altitude sickness, weather, and wind, as well as hazards from avalanches and the Khumbu Icefall. As of November 2022, 310 people have died on Everest. Over 200 bodies remain on the mountain and have not been removed due to the dangerous conditions. The first recorded efforts to reach Everest's summit were made by British mountaineers. As Nepal did not allow foreigners to enter the country at the time, the British made several attempts on the north ridge route from the Tibetan side. After the first reconnaissance expedition by the British in 1921 reached 7,000 m (22,970 ft) on the North Col, the 1922 expedition pushed the north ridge route up to 8,320 m (27,300 ft), marking the first time a human had climbed above 8,000 m (26,247 ft). The 1924 expedition resulted in one of the greatest mysteries on Everest to this day: George Mallory and Andrew Irvine made a final summit attempt on 8 June but never returned, sparking debate as to whether they were the first to reach the top. Tenzing Norgay and Edmund Hillary made the first documented ascent of Everest in 1953, using the southeast ridge route. Norgay had reached 8,595 m (28,199 ft) the previous year as a member of the 1952 Swiss expedition. The Chinese mountaineering team of Wang Fuzhou, Gonpo, and Qu Yinhua made the first reported ascent of the peak from the north ridge on 25 May 1960.
 
 Question: How high did they climb in 1922? According to the text, the 1922 expedition reached 8,""",
-        40
-    ],
-    [
-        """Hurricane Katrina killed hundreds of people as it made landfall on New Orleans in 2005 - many of these deaths could have been avoided if alerts had been given one day earlier. Accurate weather forecasts are really life-saving.
+    """Hurricane Katrina killed hundreds of people as it made landfall on New Orleans in 2005 - many of these deaths could have been avoided if alerts had been given one day earlier. Accurate weather forecasts are really life-saving.
 
 🔥 Now, NASA and IBM just dropped a game-changing new model: the first ever foundation model for weather! This means, it's the first time we have a generalist model not restricted to one task, but able to predict 160 weather variables!
 
@@ -175,10 +173,7 @@ Prithvi WxC (Prithvi, "पृथ्वी", is the Sanskrit name for Earth) - is
 💡 But it comes with some important tweaks: under the hood, Prithvi WxC uses a clever transformer-based architecture with 25 encoder and 5 decoder blocks. It alternates between "local" and "global" attention to capture both regional and global weather patterns.
 
 How many weather variables can Prithvi predict? Prithvi can""",
-        40
-    ],
-    [
-        """Transformers v4.45.0 released: includes a lightning-fast method to build tools! ⚡️
+    """Transformers v4.45.0 released: includes a lightning-fast method to build tools! ⚡️
 
 During user research with colleagues @MoritzLaurer and @Jofthomas , we discovered that the class definition currently in used to define a Tool in transformers.agents is a bit tedious to use, because it goes in great detail.
 
@@ -187,14 +182,12 @@ During user research with colleagues @MoritzLaurer and @Jofthomas , we discovere
 ✅ Voilà, you're good to go!
 
 How can you build tools simply in transformers? Just use the decorator""",
-        40
-    ]
 ]
 
 with gr.Blocks(css=css) as demo:
     gr.Markdown("# Token Generation with Hover Notes")
     
-    input_text = gr.Textbox(label="Enter your prompt:", lines=10, value=examples[0][0])
+    input_text = gr.Textbox(label="Enter your prompt:", lines=10, value=examples[0])
     num_tokens = gr.Slider(minimum=1, maximum=50, value=20, step=1, label="Number of tokens to generate")
     generate_button = gr.Button("Generate")
 
@@ -208,5 +201,11 @@ with gr.Blocks(css=css) as demo:
     
     gr.Markdown("Hover over the blue text with superscript numbers to see the important input tokens for that group.")
 
+    # Add clickable examples
+    gr.Examples(
+        examples=examples,
+        inputs=[input_text],
+    )
+
 if __name__ == "__main__":
     demo.launch()