rebuilding site Wed Nov 1 12:08:21 PM +08 2023

meelgroup · Nov 1, 2023 · 8441b70 · 8441b70
1 parent 9489a18
commit 8441b70
Show file tree

Hide file tree

Showing 16 changed files with 907 additions and 500 deletions.
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/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/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:updated_time" content="2023-09-01T00:00:00&#43;00:00">
 
@@ -641,57 +641,73 @@ <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="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>
-
-        <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>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+<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>
 
-        <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>
+      </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/durgesh-agrawal/index.html b/author/durgesh-agrawal/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/durgesh-agrawal/">
   <meta property="og:title" content="Durgesh Agrawal | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/durgesh-agrawal/avatar_hu33d8f2710ea4928d295bd08cdc05f6eb_58339_270x270_fill_q90_lanczos_center.jpg">
-  <meta property="twitter:image" content="https://meelgroup.github.io/author/durgesh-agrawal/avatar_hu33d8f2710ea4928d295bd08cdc05f6eb_58339_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="2021-05-01T00:00:00&#43;00:00">
 
@@ -641,73 +641,33 @@ <h1>Search</h1>
 
 
 
+<div class="universal-wrapper pt-3">
+  <h1>Durgesh Agrawal</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/durgesh-agrawal/avatar_hu33d8f2710ea4928d295bd08cdc05f6eb_58339_270x270_fill_q90_lanczos_center.jpg" alt="Durgesh Agrawal">
-
-
-      <div class="portrait-title">
-        <h2>Durgesh Agrawal</h2>
+
+
+
+    <div class="article-widget content-widget-hr">
+      <h3>Latest</h3>
+      <ul>
 
-
+        <li>
+          <a href="/publication/ijcai21_partition/">Partition Function Estimation: A Quantitative Study</a>
+        </li>
 
-      </div>
-
-      <ul class="network-icon" aria-hidden="true">
+        <li>
+          <a href="/publication/sat20abm/">On the Sparsity of XORs in Approximate Model Counting</a>
+        </li>
 
       </ul>
-
     </div>
-  </div>
-  <div class="col-12 col-lg-8">
-
-
-
-
-
-
-    <div class="row">
-
-
-
-
-
-    </div>
-  </div>
-</div>
-
-
-
-
-
 
   </div>
 </section>

diff --git a/author/jiong-yang/index.html b/author/jiong-yang/index.html
@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/jiong-yang/">
   <meta property="og:title" content="Jiong Yang | 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/jiong-yang/avatar_hu16cac60b6efb06184f13c0714a116d23_141233_270x270_fill_q90_lanczos_center.jpg">
+  <meta property="twitter:image" content="https://meelgroup.github.io/author/jiong-yang/avatar_hu16cac60b6efb06184f13c0714a116d23_141233_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
 
     <meta property="og:updated_time" content="2023-06-27T00:00:00&#43;00:00">
 
@@ -641,41 +641,73 @@ <h1>Search</h1>
 
 
 
-<div class="universal-wrapper pt-3">
-  <h1>Jiong Yang</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/sat23/">Explaining SAT Solving Using Causal Reasoning</a>
-        </li>
-
-        <li>
-          <a href="/publication/cav23/">Rounding Meets Approximate Model Counting</a>
-        </li>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+<div class="row">
+  <div class="col-12 col-lg-4">
+    <div id="profile">
+
+
+
+      <img class="avatar avatar-circle" src="/author/jiong-yang/avatar_hu16cac60b6efb06184f13c0714a116d23_141233_270x270_fill_q90_lanczos_center.jpg" alt="Jiong Yang">
+
+
+      <div class="portrait-title">
+        <h2>Jiong Yang</h2>
 
-        <li>
-          <a href="/publication/atva22/">Projected Model Counting: Beyond Independent Support</a>
-        </li>
+
 
-        <li>
-          <a href="/publication/cp21/">Engineering an Efficient PB-XOR Solver</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>