Merge remote-tracking branch 'origin/main'

src/streamlit_app.py

@@ -427,6 +427,8 @@ def search_and_display_with_filters(query, model, theorems_data, embeddings_db,
             cleaned_content = clean_latex_for_display(info['theorem_body'])
             st.markdown(f"**{info['theorem_name'] or 'Theorem Body.'}**")
             st.markdown(cleaned_content)
+            st.markdown("**Paper ID:**")
+            st.markdown(info['paper_id'])
 
             # Testing only
             st.markdown('**Paper ID (testing only)**')