chore(docs): add example to gallery (#552)

* Add example to gallery.

* chore(fmt): auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* chore(docs): gallery formatting.

Co-authored-by: Jérome Eertmans <jeertmans@icloud.com>

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: Jérome Eertmans <jeertmans@icloud.com>

docs/source/gallery.md

@@ -14,7 +14,7 @@ If you too have created content with Manim Slides that is available online
 (e.g., a YouTube video or website),
 don't hesitate to contact us so that we can share your content on this page!
 
-## Scientif Research
+## Scientific Research
 
 Below are people that dissimenate their research results
 using Manim Slides presentations.
@@ -67,6 +67,28 @@ For example, below are the slides of his
     </iframe>
 </div>
 
+### Matthew McIlree
+
+Matthew is a Computer Science researcher from Scotland and has used Manim Slides
+to present his work on *Proof Logging for Constraint Programming*. He also publishes
+his presentation slides on his [personal website](https://matthewmcilree.com).
+
+Here are the slides from a 25-minute talk he presented at the 39th Annual AAAI Conference on Artificial Intelligence titled
+[Certifying Bounds Propagation for Integer Multiplication Constraints](https://matthewmcilree.com/files/slides/mcilree_aaai2025.html).
+
+<div style="position:relative;padding-bottom:56.25%;">
+    <iframe
+        loading="lazy"
+        style="width:100%;height:100%;position:absolute;left:0px;top:0px;"
+        frameborder="1"
+        width="100%"
+        height="100%"
+        allowfullscreen
+        allow="autoplay"
+        src="https://matthewmcilree.com/files/slides/mcilree_aaai2025.html">
+    </iframe>
+</div>
+
 ## School Work
 
 Below are people that used Manim Slides for school presentations.