rebuilding site Tue Apr 16 00:23:10 EDT 2024

meelgroup · Apr 16, 2024 · 062a262 · 062a262
1 parent 88c1c44
commit 062a262
Show file tree

Hide file tree

Showing 24 changed files with 578 additions and 517 deletions.
diff --git a/author/ananth-krishna-kidambi/avatar.jpg b/author/ananth-krishna-kidambi/avatar.jpg
diff --git a/...tar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg b/...tar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg
diff --git a/author/ananth-krishna-kidambi/index.html b/author/ananth-krishna-kidambi/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/ananth-krishna-kidambi/">
   <meta property="og:title" content="Ananth Krishna Kidambi | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
-  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/ananth-krishna-kidambi/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg">
+  <meta property="twitter:image" content="https://meelgroup.github.io/author/ananth-krishna-kidambi/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
 
 
 
@@ -670,6 +670,9 @@ <h1>Search</h1>
     <div id="profile">
 
 
+
+      <img class="avatar avatar-circle" src="/author/ananth-krishna-kidambi/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg" alt="Ananth Krishna Kidambi">
+
 
       <div class="portrait-title">
         <h2>Ananth Krishna Kidambi</h2>

diff --git a/author/ananth-krishna-kidambi/index.xml b/author/ananth-krishna-kidambi/index.xml
@@ -7,7 +7,7 @@
     <description>Ananth Krishna Kidambi</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright>
     <image>
-      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
+      <url>https://meelgroup.github.io/author/ananth-krishna-kidambi/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg</url>
       <title>Ananth Krishna Kidambi</title>
       <link>https://meelgroup.github.io/author/ananth-krishna-kidambi/</link>
     </image>

diff --git a/author/arijit-shaw/index.xml b/author/arijit-shaw/index.xml
@@ -7,34 +7,10 @@
     <description>Arijit Shaw</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright><lastBuildDate>Wed, 21 Feb 2024 00:00:00 +0000</lastBuildDate>
     <image>
-      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
+      <url>https://meelgroup.github.io/author/arijit-shaw/avatar_hu7f23ceef7047d68b83a47b7e57a164ca_32326_270x270_fill_q90_lanczos_center.jpg</url>
       <title>Arijit Shaw</title>
       <link>https://meelgroup.github.io/author/arijit-shaw/</link>
     </image>
 
-    <item>
-      <title>An Approximate Skolem Function Counter</title>
-      <link>https://meelgroup.github.io/publication/aaai24_skolemfc/</link>
-      <pubDate>Wed, 21 Feb 2024 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/aaai24_skolemfc/</guid>
-      <description></description>
-    </item>
-
-    <item>
-      <title>Explaining SAT Solving Using Causal Reasoning</title>
-      <link>https://meelgroup.github.io/publication/sat23/</link>
-      <pubDate>Tue, 27 Jun 2023 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/sat23/</guid>
-      <description></description>
-    </item>
-
-    <item>
-      <title>Designing New Phase Selection Heuristics</title>
-      <link>https://meelgroup.github.io/publication/sat20sm/</link>
-      <pubDate>Tue, 19 May 2020 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/sat20sm/</guid>
-      <description></description>
-    </item>
-
   </channel>
 </rss>
diff --git a/author/bishwamittra-ghosh/index.html b/author/bishwamittra-ghosh/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/bishwamittra-ghosh/">
   <meta property="og:title" content="Bishwamittra Ghosh | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/bishwamittra-ghosh/avatar_hu92b9ff0b9fc644ed6e358a908f6e0fae_127272_270x270_fill_q90_lanczos_center.jpg">
-  <meta property="twitter:image" content="https://meelgroup.github.io/author/bishwamittra-ghosh/avatar_hu92b9ff0b9fc644ed6e358a908f6e0fae_127272_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
+  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
 
     <meta property="og:updated_time" content="2023-09-01T00:00:00&#43;00:00">
 
@@ -641,73 +641,57 @@ <h1>Search</h1>
 
 
 
+<div class="universal-wrapper pt-3">
+  <h1>Bishwamittra Ghosh</h1>
+</div>
+
 
 <section id="profile-page" class="pt-5">
   <div class="container">
 
 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
 
-
-
-
-<div class="row">
-  <div class="col-12 col-lg-4">
-    <div id="profile">
-
-
-
-      <img class="avatar avatar-circle" src="/author/bishwamittra-ghosh/avatar_hu92b9ff0b9fc644ed6e358a908f6e0fae_127272_270x270_fill_q90_lanczos_center.jpg" alt="Bishwamittra Ghosh">
-
-
-      <div class="portrait-title">
-        <h2>Bishwamittra Ghosh</h2>
+
+
+
+    <div class="article-widget content-widget-hr">
+      <h3>Latest</h3>
+      <ul>
 
-
+        <li>
+          <a href="/publication/ghosh-phdthesis/">Interpretability and Fairness in Machine Learning: A Formal Methods Approach</a>
+        </li>
 
-      </div>
-
-      <ul class="network-icon" aria-hidden="true">
+        <li>
+          <a href="/publication/facct23/">How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis</a>
+        </li>
+
+        <li>
+          <a href="/publication/jair22/">Efficient Learning of Interpretable Classification Rules</a>
+        </li>
+
+        <li>
+          <a href="/publication/aaai22_fvgm/">Algorithmic Fairness Verification with Graphical Models</a>
+        </li>
+
+        <li>
+          <a href="/publication/aaai21_justicia/">Justicia A Stochastic SAT Approach to Formally Verify Fairness</a>
+        </li>
+
+        <li>
+          <a href="/publication/ecai20/">Classification Rules in Relaxed Logical Form</a>
+        </li>
+
+        <li>
+          <a href="/publication/aaai20/">A MaxSAT-based Framework for Group Testing</a>
+        </li>
+
+        <li>
+          <a href="/publication/aies19/"> IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules </a>
+        </li>
 
       </ul>
-
     </div>
-  </div>
-  <div class="col-12 col-lg-8">
-
-
-
-
-
-
-    <div class="row">
-
-
-
-
-
-    </div>
-  </div>
-</div>
-
-
-
-
-
 
   </div>
 </section>

diff --git a/author/gunjan-kumar/index.html b/author/gunjan-kumar/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/gunjan-kumar/">
   <meta property="og:title" content="Gunjan Kumar | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
-  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg">
+  <meta property="twitter:image" content="https://meelgroup.github.io/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
 
     <meta property="og:updated_time" content="2024-01-20T00:00:00&#43;00:00">
 
@@ -641,37 +641,73 @@ <h1>Search</h1>
 
 
 
-<div class="universal-wrapper pt-3">
-  <h1>Gunjan Kumar</h1>
-</div>
-
 
 <section id="profile-page" class="pt-5">
   <div class="container">
 
 
+
+
+
+
 
-
-
-
-    <div class="article-widget content-widget-hr">
-      <h3>Latest</h3>
-      <ul>
-
-        <li>
-          <a href="/publication/aistats24/">Equivalence Testing: The Power of Bounded Adaptivity</a>
-        </li>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+<div class="row">
+  <div class="col-12 col-lg-4">
+    <div id="profile">
+
+
+
+      <img class="avatar avatar-circle" src="/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg" alt="Gunjan Kumar">
+
+
+      <div class="portrait-title">
+        <h2>Gunjan Kumar</h2>
 
-        <li>
-          <a href="/publication/icalp23/">Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?</a>
-        </li>
+
 
-        <li>
-          <a href="/publication/mfcs23/">Support Size Estimation: The Power of Conditioning</a>
-        </li>
+      </div>
+
+      <ul class="network-icon" aria-hidden="true">
 
       </ul>
+
+    </div>
+  </div>
+  <div class="col-12 col-lg-8">
+
+
+
+
+
+
+    <div class="row">
+
+
+
+
+
     </div>
+  </div>
+</div>
+
+
+
+
+
 
   </div>
 </section>

diff --git a/author/guramrit-singh/avatar.jpg b/author/guramrit-singh/avatar.jpg
diff --git a/...tar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg b/...tar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg
diff --git a/author/guramrit-singh/index.html b/author/guramrit-singh/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/guramrit-singh/">
   <meta property="og:title" content="Guramrit Singh | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
-  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/guramrit-singh/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg">
+  <meta property="twitter:image" content="https://meelgroup.github.io/author/guramrit-singh/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
 
 
 
@@ -670,6 +670,9 @@ <h1>Search</h1>
     <div id="profile">
 
 
+
+      <img class="avatar avatar-circle" src="/author/guramrit-singh/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg" alt="Guramrit Singh">
+
 
       <div class="portrait-title">
         <h2>Guramrit Singh</h2>

diff --git a/author/guramrit-singh/index.xml b/author/guramrit-singh/index.xml
@@ -7,7 +7,7 @@
     <description>Guramrit Singh</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright>
     <image>
-      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
+      <url>https://meelgroup.github.io/author/guramrit-singh/avatar_hu4ff99d0f05abeacc0c8ae54fed20f2fe_9352_270x270_fill_q90_lanczos_center.jpg</url>
       <title>Guramrit Singh</title>
       <link>https://meelgroup.github.io/author/guramrit-singh/</link>
     </image>