feat: add link to hal

app.py

@@ -191,7 +191,7 @@ with doc_column:
             doc_content = json.loads(doc.page_content)
 
             expander = st.expander(doc_content["title"])
-            expander.markdown(f"**DOI : {doc_content['doi']}**")
+            expander.markdown(f"**HalID** : https://hal.science/{doc_content['hal_id']}")
             expander.markdown(doc_content["abstract"])
             expander.markdown(f"**Authors** : {doc_content['authors']}")
             expander.markdown(f"**Keywords** : {doc_content['keywords']}")

custom_pgvector.py

@@ -319,7 +319,7 @@ class CustomPGVector(VectorStore):
                             "title": result["title"][0],
                             "authors": result["authors"],
                             "doi": result["doi"],
-                            # "halID": result["halID"],
+                            "hal_id": result["hal_id"],
                             "keywords": result["keywords"],
                             "distance": result["distance"],
                         }
@@ -345,6 +345,7 @@ class CustomPGVector(VectorStore):
                         a.id,
                         a.title_en,
                         a.doi,
+                        a.hal_id,
                         a.abstract_en,
                         string_agg(distinct keyword."name", ',') as keywords, 
                         string_agg(distinct author."name", ',') as authors,
@@ -370,6 +371,7 @@ class CustomPGVector(VectorStore):
                     "id",
                     "title",
                     "doi",
+                    "hal_id",
                     "abstract",
                     "keywords",
                     "authors",