SAIV25 slides

Author: ab-sayed

.vscode/settings.json

@@ -0,0 +1,29 @@
+{
+    "workbench.view.alwaysShowHeaderActions": true,
+    "workbench.tree.renderIndentGuides": "none",
+    "[pvs]": {
+        "editor.wordSeparators": "`~!@#$%^&*()-=+[{]}|;:'\",.<>/"
+    },
+    "files.exclude": {
+        "**/.git": true,
+        "**/.svn": true,
+        "**/.hg": true,
+        "**/.DS_Store": true,
+        "**/Thumbs.db": true,
+        "**/CVS": true,
+        "**/.ruby-lsp": true,
+        "**/*.???~": true,
+        "**/.pvscontext": true,
+        "**/pvsbin": true,
+        "**/*.jprf": true,
+        "**/*.prf": true,
+        "**/orphaned-proofs.prf": true,
+        "**/*_adt.pvs": false,
+        "**/*.log": false,
+        "**/.vscode": true
+    },
+    "files.readonlyInclude": {
+        "**/*.tccs": true,
+        "**/*.summary": true
+    }
+}

_bibliography/papers.bib

@@ -15,7 +15,8 @@ @inproceedings{sayed2025bridgingneuraloderesnet
   archivePrefix={arXiv},
   primaryClass={cs.LG},
   url={https://openreview.net/forum?id=8r0dHcrZ2j}, 
-  pdf={https://arxiv.org/abs/2506.03227},
+  pdf={https://openreview.net/forum?id=8r0dHcrZ2j},
+  slides={2025_Abdelrahman_Sayed_SAIV25_slides.pdf},
   code={https://github.com/ab-sayed/Formal-Error-Bound-for-Safety-Verification-of-neural-ODE},
   abbr={AI},
   preview={SAIV25.gif},

_data/socials.yml

@@ -10,7 +10,7 @@
 email: abdelrahman.ibrahim@univ-eiffel.fr # your email address
 # facebook_id: absayed # your facebook id
 # flickr_id: # your flickr id
-# github_username: absayed # your GitHub user name
+github_username: ab-sayed # your GitHub user name
 # gitlab_username: absayed # your GitLab user name
 # ieee_id: # your ieeexplore.ieee.org/author/id
 # inspirehep_id: 1010907 # Inspire HEP author ID