~

index.html

@@ -403,6 +403,9 @@ <h2 class="title is-3"><span class="dvima">Discovering New Proofs</span></h2>
             <div class="rows is-centered ">
                 <div class="row is-full-width">
                     <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h2>
+                    <video width="400" controls>
+                        <source src="images/chatgpt-1.mov" type="video/mov">
+                    </video>
                 </div>
             </div>
         </div>
@@ -754,7 +757,7 @@ <h2 class="title is-3"><span class="dvima">Team</span></h2>
                             <a href="https://yangky11.github.io/" target="_blank" style="border-bottom: none;">
                                 <span class="image" style="padding-left: 10%;"><img src="images/Kaiyu.jpg" alt="" style="width: 90%;" /></span>
                             </a>
-                            <span style="font-weight: bold;">Kaiyu Yang</span>
+                            <span style="font-weight: bold;">Kaiyu Yang <a class="fas fa-envelope" href="mailto:[email protected]" style="font-size: 75%"></a></span>
                         </div>
 
                         <div class="column has-text-centered video-column">