{"id":6,"date":"2025-07-20T22:24:26","date_gmt":"2025-07-20T22:24:26","guid":{"rendered":"https:\/\/leibniz.syracuse.edu\/?page_id=6"},"modified":"2025-09-17T14:40:54","modified_gmt":"2025-09-17T14:40:54","slug":"welcome-to-the-leibniz-lab","status":"publish","type":"page","link":"https:\/\/leibniz.syracuse.edu\/","title":{"rendered":"Welcome to the Leibniz Lab"},"content":{"rendered":"\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"348\" src=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2-1024x348.png\" alt=\"\" class=\"wp-image-96\" srcset=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2-1024x348.png 1024w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2-300x102.png 300w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2-768x261.png 768w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2-1536x522.png 1536w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/08\/orange-v2.png 1584w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p><em>The Leibniz Lab is directed by <a href=\"https:\/\/ecs.syracuse.edu\/faculty-staff\/paulo-shakarian\">Paulo Shakarian<\/a>, the K.G. Tan Endowed Professor of Artificial Intelligence at Syracuse University.<\/em><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"768\" src=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-1024x768.jpg\" alt=\"\" class=\"wp-image-109\" srcset=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-1024x768.jpg 1024w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-300x225.jpg 300w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-768x576.jpg 768w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-1536x1152.jpg 1536w, https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/09\/lab-photo-syracuse-2025-2048x1536.jpg 2048w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p><em>Above: Leibniz Lab Ph.D. students with Professor Shakarian (middle) in 2025.<\/em><\/p>\n\n\n\n<p><strong><em>Why &#8220;Leibniz Lab&#8221;? <\/em><\/strong>The Leibniz Lab is dedicated to unifying ideas of reasoning and learning in artificial intelligence using computational techniques.  Humans have extraordinary ability to both perceive the world around them as well as reason about things logically, often using symbols (e.g., in mathematics or programming).  We believe that by combining advances in learning methods such as deep learning and cognitive models with reasoning methods such as logic programming and abduction in hybrid approaches (e.g., neurosymbolic AI).  <a href=\"https:\/\/en.wikipedia.org\/wiki\/Gottfried_Wilhelm_Leibniz\" data-type=\"link\" data-id=\"https:\/\/en.wikipedia.org\/wiki\/Gottfried_Wilhelm_Leibniz\">Gottfried Wilhelm Leibniz<\/a> was titan of intellectual thought and founded both propositional logic and calculus &#8211; discoveries that are largely used in the same way he envisioned.  Propositional logic provides the foundation of reasoning while calculus makes deep learning possible.  We are inspired by the ability of one man to make significant contributions to what grew to be two major branches of AI &#8211; and in the Leibniz Lab we seek to honor him by exploring how these two sides can work together.<\/p>\n\n\n\n<p><strong><em>Areas of Research. <\/em><\/strong>In the Leibniz Lab, we primarily study neurosymbolic AI, <a href=\"https:\/\/metacognition.syracuse.edu\">metacognition<\/a>, <a href=\"https:\/\/pyreason.syracuse.edu\">temporal logic programming<\/a>, abductive inference, and deep neural networks.  We also examine applications such as <a href=\"https:\/\/arxiv.org\/abs\/2502.01503\">maritime security<\/a>, <a href=\"https:\/\/arxiv.org\/abs\/2506.17776\">industrial automation<\/a>, <a href=\"https:\/\/arxiv.org\/abs\/2507.10781\">medical triage<\/a>, <a href=\"https:\/\/arxiv.org\/abs\/2410.12785\">finance<\/a>, <a href=\"https:\/\/arxiv.org\/abs\/1909.11592\">cybersecurity<\/a>, and <a href=\"https:\/\/arxiv.org\/abs\/2405.10345\">medicine<\/a>.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Leibniz Lab is directed by Paulo Shakarian, the K.G. Tan Endowed Professor of Artificial Intelligence at Syracuse University. Above: Leibniz Lab Ph.D. students with Professor Shakarian (middle) in 2025. Why &#8220;Leibniz Lab&#8221;? The Leibniz Lab is dedicated to unifying ideas of reasoning and learning in artificial intelligence using computational techniques. Humans have extraordinary ability&hellip;<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-6","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/6","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6"}],"version-history":[{"count":7,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":112,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions\/112"}],"wp:attachment":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}