Fix length issue

app.py

@@ -49,6 +49,7 @@ def really_clean_tokens(tokens):
 def generate_and_visualize(prompt, num_tokens=10):
     input_ids = tokenizer(prompt, return_tensors="pt", add_special_tokens=True).input_ids.to(model.device)
     input_embeds = model.get_input_embeddings()(input_ids)
+    input_tokens = really_clean_tokens(tokenizer.convert_ids_to_tokens(input_ids[0]))
 
     generated_tokens_ids = []
     all_relevances = []
@@ -70,7 +71,6 @@ def generate_and_visualize(prompt, num_tokens=10):
         if next_token.item() == tokenizer.eos_token_id:
             print("EOS token generated, stopping generation.")
             break
-    input_tokens = really_clean_tokens(tokenizer.convert_ids_to_tokens(input_ids[0]))
     generated_tokens = really_clean_tokens(tokenizer.convert_ids_to_tokens(generated_tokens_ids))
     
     return input_tokens, all_relevances, generated_tokens
@@ -80,7 +80,7 @@ def process_relevances(input_tokens, all_relevances, generated_tokens):
     attention_matrix = np.array([el[:len(all_relevances[0])] for el in all_relevances])
 
     ### FIND ZONES OF INTEREST
-    threshold_per_token = 0.1
+    threshold_per_token = 0.2
     kernel_width = 6
     context_width = 20  # Number of tokens to include as context on each side
     kernel = np.ones((kernel_width, kernel_width))
@@ -93,7 +93,8 @@ def process_relevances(input_tokens, all_relevances, generated_tokens):
     
     # Find where the rolled sum is greater than the threshold
     significant_areas = rolled_sum > threshold_per_token
-    print(f"Found {significant_areas.sum()} relevant tokens. Lower threshold to find more. Max was {rolled_sum.max()}")
+    print(f"Found {significant_areas.sum()} relevant tokens: lower threshold to find more. Max was {rolled_sum.max()}")
+    print("LENGTHS:", len(input_tokens), significant_areas.shape, len(generated_tokens))
 
     def find_largest_contiguous_patch(array):
         current_patch_start = None
@@ -200,14 +201,15 @@ css = """
     max-width: 600px;
     width:500px;
     word-wrap: break-word;
-    z-index: 10;
+    z-index: 100;
 }
 .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:
+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,""",
+Question: How high did they climb in 1922? Answer:""",
     """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!
@@ -230,7 +232,7 @@ How can you build tools simply in transformers?
 Answer:""",
 ]
 
-with gr.Blocks(css=css) as demo:
+with gr.Blocks(css=css, theme=gr.themes.Soft()) as demo:
     gr.Markdown("# Syntax highlighted text generation - for RAG applications")
     
     input_text = gr.Textbox(label="Enter your prompt:", lines=10, value=examples[0])