Updated

Author: sebastian-griego

index.html

@@ -220,7 +220,6 @@
             <ul class="nav-links">
                 <li><a href="#about">About</a></li>
                 <li><a href="#projects">Projects</a></li>
-                <li><a href="#contact">Contact</a></li>
             </ul>
         </nav>
     </header>
@@ -229,19 +228,18 @@
         <section class="hero">
             <h1>Sebastian Griego</h1>
             <p class="tagline">Mathematics Student</p>
-            <p class="institution">Undergraduate</p>
         </section>
 
         <section id="about" class="about">
             <h2>About</h2>
-            <p>
-                I am an undergraduate student studying mathematics with interests in algebra, geometry, and their computational applications. 
-                My work focuses on understanding mathematical structures and developing tools to visualize and explore abstract concepts.
-            </p>
             <p>
                 I enjoy working on projects that bridge pure mathematics with practical applications, particularly in areas involving 
                 algebraic structures, geometric visualization, and mathematical education.
             </p>
+            <p>
+                Currently, I am focused on training large language models to improve their mathematical proof formalization capabilities in Lean. 
+                I am particularly interested in enhancing LLMs' proof-solving abilities and developing better methods for automated theorem proving.
+            </p>
         </section>
 
         <section id="projects">
@@ -258,19 +256,7 @@ <h3>PyContinuum</h3>
             </div>
         </section>
 
-        <section id="contact" class="contact">
-            <h2>Contact</h2>
-            <p>Feel free to reach out for collaborations or discussions about mathematics.</p>
-            <div class="contact-links">
-                <a href="mailto:[email protected]">Email</a>
-                <a href="https://github.com/sebastiangriego" target="_blank">GitHub</a>
-                <a href="https://linkedin.com/in/sebastiangriego" target="_blank">LinkedIn</a>
-            </div>
-        </section>
     </main>
 
-    <footer>
-        <p>&copy; 2024 Sebastian Griego. All rights reserved.</p>
-    </footer>
 </body>
 </html>