Merge branch 'master' of github.com:meelgroup/meelgroup-website

content/authors/yacine/_index.md

@@ -10,7 +10,7 @@ authors:
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-- Postdoctoral Researchers
+- Alumni - Postdoc graduates
 
 # Is this the primary user of the site?
 superuser: false

content/publication/ECAI24/cite.bib

@@ -0,0 +1,6 @@
+@inproceedings{IMS24,
+  title={Locally-Minimal Probabilistic Explanations},
+  author={Yacine Izza and Kuldeep S Meel and Joao Marques-Silva},
+  booktitle={Proceedings of ECAI},
+  year={2024},
+}

content/publication/ECAI24/index.md

@@ -0,0 +1,19 @@
+---
+abstract: Formal abductive explanations offer crucial guarantees of rigor and so find application in high-stakes uses of machine learning (ML). One drawback of abductive explanations is explanation size, justified by the cognitive limits of human decision-makers. Probabilistic abductive explanations (PAXps) address this limitation, but their theoretical and practical complexity makes their exact computation most often unrealistic. This paper proposes novel efficient algorithms for the computation of locally-minimal PXAps, which offer high-quality approximations of PXAps in practice. The experimental results demonstrate the practical efficiency of the proposed algorithms.
+
+
+authors:
+- Yacine Izza,
+- Kuldeep S Meel,
+- Joao Marques-Silva
+date: 2024-10-21 00:00:00
+highlight: true
+image_preview: ''
+math: false
+publication: In *Proceedings of ECAI -  European Conference on Artificial Intelligence*
+publication_types:
+- '1'
+selected: true
+title: Locally-Minimal Probabilistic Explanations
+url_pdf: https://arxiv.org/pdf/2312.11831
+---

content/publication/IJCAI23_totvardist/index.md

@@ -5,7 +5,7 @@ authors:
 - Sutanu Gayen
 - Kuldeep S. Meel
 - Dimitrios Myrisiotis
-- Pavan A.
+- A. Pavan
 - N. V. Vinodchandran
 date: 2023-07-01 00:00:00
 highlight: true

content/talk/23052024.md

@@ -0,0 +1,39 @@
++++
+date = 2024-05-23T00:00:00  # Schedule page publish date.
+
+title='<b>Our work on Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving</a> has been accepted to  <a href="http://satisfiability.org/SAT24/">SAT 2024</a>.</b> <br> We introduce a novel circuit mapping method by combining incremental and parallel solving for Boolean Satisfiability (SAT). We present an innovative SAT encoding for circuit mapping problems, which significantly improves solver-based mapping methods and provides a smooth trade-off between compilation quality and compilation time. <br> Authors: Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn Heule, and Bruno Dutertre <br> '
+time_start = 2024-05-23T01:00:00
+#time_end = 2030-06-01T15:00:00
+abstract = ""
+abstract_short = ""
+event = ""
+event_url = ""
+location = ""
+
+# Is this a selected talk? (true/false)
+selected = false
+
+# Projects (optional).
+#   Associate this talk with one or more of your projects.
+#   Simply enter the filename (excluding '.md') of your project file in `content/project/`.
+projects = []
+
+# Links (optional).
+url_pdf = ""
+url_slides = ""
+url_video = ""
+url_code = ""
+
+# Does the content use math formatting?
+math = true
+
+# Does the content use source code highlighting?
+highlight = true
+
+# Featured image
+# Place your image in the `static/img/` folder and reference its filename below, e.g. `image = "example.jpg"`.
+[header]
+image = ""
+caption = ""
+
++++