From 35a7aa1f479cc8093e13a6e5321aaf90f2fca9fe Mon Sep 17 00:00:00 2001
From: Robert Joseph <robujsph2001@gmail.com>
Date: Sun, 8 Dec 2024 13:28:12 -0800
Subject: [PATCH] done

---
 _layouts/home.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/home.md b/_layouts/home.md
index 328cdc3..d2bbcad 100644
--- a/_layouts/home.md
+++ b/_layouts/home.md
@@ -20,7 +20,7 @@ home: true
 I am a 2nd year Ph.D. student in Math & Computer Science at Caltech under Professor <a href = "http://tensorlab.cms.caltech.edu/users/anima/">Animashree Anandkumar (Nvidia)</a>. I work in the Artificial Intelligence & Machine Learning <a href="https://www.cms.caltech.edu/research/artificial-intelligence-and-machine-learning">(AI4Science)</a> Group. I graduated from the University of Alberta in Honors Math & Computer Science with the Dean's Silver Medal in Science. My main research interests are:
 <br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1. AI4Science (Theory + Applications + Neural Operators).<br>
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2. AI4Math (Theorem proving in Lean + Autoformalization + LLM reasoning).<br>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2. AI4Math (Theorem proving in Lean + Autoformalization + LLM reasoning).<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;3. Optimization and Efficient training of Foundational models.
 
 </p>