Update app.py

app.py

@@ -52,6 +52,21 @@ def check_poppler_installed():
 
 check_poppler_installed()
 
+
+def extract_patent_number(url):
+    pattern = r"/patent/([A-Z]{2}\d+)"
+    match = re.search(pattern, url)
+    return match.group(1) if match else None
+
+def download_pdf(patent_number):
+    try:
+        patent_downloader = PatentDownloader(verbose=True)
+        output_path = patent_downloader.download(patents=patent_number, output_path=tempfile.gettempdir())
+        return output_path[0]
+    except Exception as e:
+        st.error(f"Failed to download patent PDF: {e}")
+        st.stop()
+
 def clean_extracted_text(text):
     """
     Cleans extracted text to remove metadata, headers, and irrelevant content.