From e10b9ae494fb4517c3d0b6d6c7d08674676bb2d3 Mon Sep 17 00:00:00 2001
From: swaratchaudhuri <swarat.chaudhuri@gmail.com>
Date: Thu, 18 Jul 2024 13:24:10 +0000
Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20trishull?=
 =?UTF-8?q?ab/trishullab.github.io@8f26088c7a85272da760b4d49d401356d76bf2c?=
 =?UTF-8?q?2=20=F0=9F=9A=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 2019/01/07/example-post-1.html |  8 ++++----
 2021/09/30/example-post-2.html |  8 ++++----
 2023/02/23/example-post-3.html |  8 ++++----
 feed.xml                       |  2 +-
 index.html                     | 12 ++++++++----
 sitemap.xml                    | 24 ++++++++++++------------
 6 files changed, 33 insertions(+), 29 deletions(-)

diff --git a/2019/01/07/example-post-1.html b/2019/01/07/example-post-1.html
index 0e89e92..7e6f072 100644
--- a/2019/01/07/example-post-1.html
+++ b/2019/01/07/example-post-1.html
@@ -62,10 +62,10 @@
 
   <meta name="author" content="sarah-johnson">
   <meta property="og:type" content="article">
-  <meta property="og:updated_time" content="2024-07-18T12:12:41+00:00">
+  <meta property="og:updated_time" content="2024-07-18T13:23:00+00:00">
   <meta property="article:published_time" content="2019-01-07T00:00:00+00:00">
-  <meta property="article:modified_time" content="2024-07-18T12:12:41+00:00">
-  <meta name="revised" content="2024-07-18T12:12:41+00:00">
+  <meta property="article:modified_time" content="2024-07-18T13:23:00+00:00">
+  <meta name="revised" content="2024-07-18T13:23:00+00:00">
 
 
 <script type="application/ld+json">
@@ -75,7 +75,7 @@
       "@type": "BlogPosting",
       "author": { "@type": "Person", "name": "Example post 1" },
       "datePublished": "2019-01-07T00:00:00+00:00",
-      "dateModified": "2024-07-18T12:12:41+00:00",
+      "dateModified": "2024-07-18T13:23:00+00:00",
     
     "name": "Example post 1",
     "description": "Trustworthy Intelligent Systems at UT Austin. The Trishul Laboratory studies ways to build AI systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction",
diff --git a/2021/09/30/example-post-2.html b/2021/09/30/example-post-2.html
index f321f36..9aef601 100644
--- a/2021/09/30/example-post-2.html
+++ b/2021/09/30/example-post-2.html
@@ -62,10 +62,10 @@
 
   <meta name="author" content="jane-smith">
   <meta property="og:type" content="article">
-  <meta property="og:updated_time" content="2024-07-18T12:12:41+00:00">
+  <meta property="og:updated_time" content="2024-07-18T13:23:00+00:00">
   <meta property="article:published_time" content="2021-09-30T00:00:00+00:00">
-  <meta property="article:modified_time" content="2024-07-18T12:12:41+00:00">
-  <meta name="revised" content="2024-07-18T12:12:41+00:00">
+  <meta property="article:modified_time" content="2024-07-18T13:23:00+00:00">
+  <meta name="revised" content="2024-07-18T13:23:00+00:00">
 
 
 <script type="application/ld+json">
@@ -75,7 +75,7 @@
       "@type": "BlogPosting",
       "author": { "@type": "Person", "name": "Example post 2" },
       "datePublished": "2021-09-30T00:00:00+00:00",
-      "dateModified": "2024-07-18T12:12:41+00:00",
+      "dateModified": "2024-07-18T13:23:00+00:00",
     
     "name": "Example post 2",
     "description": "Trustworthy Intelligent Systems at UT Austin. The Trishul Laboratory studies ways to build AI systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction",
diff --git a/2023/02/23/example-post-3.html b/2023/02/23/example-post-3.html
index f83b5d9..f90e54c 100644
--- a/2023/02/23/example-post-3.html
+++ b/2023/02/23/example-post-3.html
@@ -62,10 +62,10 @@
 
   <meta name="author" content="john-doe">
   <meta property="og:type" content="article">
-  <meta property="og:updated_time" content="2024-07-18T12:12:41+00:00">
+  <meta property="og:updated_time" content="2024-07-18T13:23:00+00:00">
   <meta property="article:published_time" content="2023-02-23T00:00:00+00:00">
-  <meta property="article:modified_time" content="2024-07-18T12:12:41+00:00">
-  <meta name="revised" content="2024-07-18T12:12:41+00:00">
+  <meta property="article:modified_time" content="2024-07-18T13:23:00+00:00">
+  <meta name="revised" content="2024-07-18T13:23:00+00:00">
 
 
 <script type="application/ld+json">
@@ -75,7 +75,7 @@
       "@type": "BlogPosting",
       "author": { "@type": "Person", "name": "Example post 3" },
       "datePublished": "2023-02-23T00:00:00+00:00",
-      "dateModified": "2024-07-18T12:12:41+00:00",
+      "dateModified": "2024-07-18T13:23:00+00:00",
     
     "name": "Example post 3",
     "description": "Trustworthy Intelligent Systems at UT Austin. The Trishul Laboratory studies ways to build AI systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction",
diff --git a/feed.xml b/feed.xml
index f27b5dd..3193cd8 100644
--- a/feed.xml
+++ b/feed.xml
@@ -1 +1 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://trishullab.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://trishullab.github.io/" rel="alternate" type="text/html" /><updated>2024-07-18T12:13:40+00:00</updated><id>https://trishullab.github.io/feed.xml</id><title type="html">Trishul</title><subtitle>The Trishul Laboratory studies ways to build AI systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction</subtitle><entry><title type="html">Example post 3</title><link href="https://trishullab.github.io/2023/02/23/example-post-3.html" rel="alternate" type="text/html" title="Example post 3" /><published>2023-02-23T00:00:00+00:00</published><updated>2024-07-18T12:12:41+00:00</updated><id>https://trishullab.github.io/2023/02/23/example-post-3</id><content type="html" xml:base="https://trishullab.github.io/2023/02/23/example-post-3.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>john-doe</name></author><category term="biology," /><category term="medicine" /><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="https://trishullab.github.io/images/photo.jpg" /><media:content medium="image" url="https://trishullab.github.io/images/photo.jpg" xmlns:media="http://search.yahoo.com/mrss/" /></entry><entry><title type="html">Example post 2</title><link href="https://trishullab.github.io/2021/09/30/example-post-2.html" rel="alternate" type="text/html" title="Example post 2" /><published>2021-09-30T00:00:00+00:00</published><updated>2024-07-18T12:12:41+00:00</updated><id>https://trishullab.github.io/2021/09/30/example-post-2</id><content type="html" xml:base="https://trishullab.github.io/2021/09/30/example-post-2.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>jane-smith</name></author><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary></entry><entry><title type="html">Example post 1</title><link href="https://trishullab.github.io/2019/01/07/example-post-1.html" rel="alternate" type="text/html" title="Example post 1" /><published>2019-01-07T00:00:00+00:00</published><updated>2024-07-18T12:12:41+00:00</updated><id>https://trishullab.github.io/2019/01/07/example-post-1</id><content type="html" xml:base="https://trishullab.github.io/2019/01/07/example-post-1.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>sarah-johnson</name></author><category term="biology" /><category term="medicine" /><category term="big data" /><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary></entry></feed>
\ No newline at end of file
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://trishullab.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://trishullab.github.io/" rel="alternate" type="text/html" /><updated>2024-07-18T13:24:09+00:00</updated><id>https://trishullab.github.io/feed.xml</id><title type="html">Trishul</title><subtitle>The Trishul Laboratory studies ways to build AI systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction</subtitle><entry><title type="html">Example post 3</title><link href="https://trishullab.github.io/2023/02/23/example-post-3.html" rel="alternate" type="text/html" title="Example post 3" /><published>2023-02-23T00:00:00+00:00</published><updated>2024-07-18T13:23:00+00:00</updated><id>https://trishullab.github.io/2023/02/23/example-post-3</id><content type="html" xml:base="https://trishullab.github.io/2023/02/23/example-post-3.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>john-doe</name></author><category term="biology," /><category term="medicine" /><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="https://trishullab.github.io/images/photo.jpg" /><media:content medium="image" url="https://trishullab.github.io/images/photo.jpg" xmlns:media="http://search.yahoo.com/mrss/" /></entry><entry><title type="html">Example post 2</title><link href="https://trishullab.github.io/2021/09/30/example-post-2.html" rel="alternate" type="text/html" title="Example post 2" /><published>2021-09-30T00:00:00+00:00</published><updated>2024-07-18T13:23:00+00:00</updated><id>https://trishullab.github.io/2021/09/30/example-post-2</id><content type="html" xml:base="https://trishullab.github.io/2021/09/30/example-post-2.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>jane-smith</name></author><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary></entry><entry><title type="html">Example post 1</title><link href="https://trishullab.github.io/2019/01/07/example-post-1.html" rel="alternate" type="text/html" title="Example post 1" /><published>2019-01-07T00:00:00+00:00</published><updated>2024-07-18T13:23:00+00:00</updated><id>https://trishullab.github.io/2019/01/07/example-post-1</id><content type="html" xml:base="https://trishullab.github.io/2019/01/07/example-post-1.html"><![CDATA[<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>]]></content><author><name>sarah-johnson</name></author><category term="biology" /><category term="medicine" /><category term="big data" /><summary type="html"><![CDATA[Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.]]></summary></entry></feed>
\ No newline at end of file
diff --git a/index.html b/index.html
index 8154dc0..22af335 100644
--- a/index.html
+++ b/index.html
@@ -503,7 +503,7 @@
   
 
   <section class="background" data-size="page">
-    <h1 id="trishullabdescriptionan-engaging-1-3-sentence-description-of-your-labs-website">trishullabDESCRIPTION=An engaging 1-3 sentence description of your lab.’s Website</h1>
+    <h1 id="trishul-trustworthy-intelligent-systems--ut-austin">Trishul: Trustworthy Intelligent Systems @ UT Austin</h1>
   </section>
 
   
@@ -517,8 +517,6 @@ <h1 id="trishullabdescriptionan-engaging-1-3-sentence-description-of-your-labs-w
   size: ;
 -->
 
-<h2 id="highlights">Highlights</h2>
-
 <div class="feature">
   <a href="/research" class="feature-image" aria-label="Our Research">
     <img src="/images/photo.jpg" loading="lazy" alt="Our Research" onerror="this.src = '/images/fallback.svg'; this.onerror = null;">
@@ -528,7 +526,13 @@ <h2 id="highlights">Highlights</h2>
       <p class="feature-title">Our Research</p>
     
     
-<p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.</p>
+<p>The Trishul lab at UT Austin, directed by Prof. Swarat Chaudhuri,
+studies problems at the interface of automated reasoning, programming
+languages, and machine learning. Through a combination of symbolic
+knowledge representations, statistical learning, search, and automated
+reasoning, we hope to build a new class of intelligent systems that
+excel at reasoning-intensive tasks and are reliable, secure, and
+transparent by construction.</p>
 
 <div class="button-wrapper">
     <a class="button" href="/research" data-style="bare" data-flip="" aria-label="fa-solid fa-arrow-right">
diff --git a/sitemap.xml b/sitemap.xml
index ef585a4..8952d46 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -2,50 +2,50 @@
 <urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
 <url>
 <loc>https://trishullab.github.io/members/jane-smith.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/members/john-doe.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/members/sarah-johnson.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/2019/01/07/example-post-1.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/2021/09/30/example-post-2.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/2023/02/23/example-post-3.html</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/contact/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/research/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/team/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/blog/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/projects/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 <url>
 <loc>https://trishullab.github.io/</loc>
-<lastmod>2024-07-18T12:12:41+00:00</lastmod>
+<lastmod>2024-07-18T13:23:00+00:00</lastmod>
 </url>
 </urlset>