Tanvi clean

content/auditor/tanvi.md

@@ -1,34 +1,62 @@
-+++
-bio = "" 
-date = "2024-09-11" 
-id = "tanvi" 
-interests = [] 
-name = "Tanvi" 
-portrait = "/portraits/tanvi.jpg" 
-short_bio = "" 
-sort_position = 10
- short_name = "tanvi" 
-
-[[social]] 
-    icon = "envelope" 
-    icon_pack = "fa" 
-    link = "mailto: "
-
- [[social]] 
-    icon = "twitter" 
-    icon_pack = "fa" 
-    link = "" 
-
-[[social]] 
-    icon = "google-scholar" 
-    icon_pack = "ai" 
-    link = "" 
-
-[[social]] 
-    icon = "github" 
-    icon_pack = "fa" 
-    link = "https://github.com/" 
-[[organizations]] 
-     name = "UC Santa Cruz" 
-      role = "Undergrad Student" 
-+++
+
+bio = "I am an undergraduate student interested in artificial intelligence, logic, and computational reasoning. I am currently learning how LLMs connect with formal logic systems and symbolic reasoning."
+ HEAD
+date = "2025-05-13"
+date = "2023-09-01"
+id = ""
+interests = ["painting","hiking", "dancing"]
+name = "Tanvi Borra"
+portrait = "/portraits/your_name.jpg"
+date = "2023-09-01"
+id = "W2133831"
+interests = ["painting", "hiking", "dancing"]
+name = "Tanvi Borra"
+portrait = "/portraits/tanvi.jpg"
+a3e69f3 (Add auditor profile)
+short_bio = "Undergraduate student exploring AI and logic systems."
+short_name = "Tanvi Borra"
+title = "Undergraduate Auditor"
+
+[[social]]
+    icon = "envelope"
+    icon_pack = "fa"
+    link = "mailto:tborra@ucsc.edu"
+
+[[social]]
+HEAD
+    icon = "github"
+    icon_pack = "fa"
+    link = "https://github.com/tborra"
+
+    icon = "twitter"
+    icon_pack = "fa"
+    link = ""
+ a3e69f3 (Add auditor profile)
+
+[[social]]
+    icon = "google-scholar"
+    icon_pack = "ai"
+    link = ""
+
+[[social]]
+    icon = "github"
+    icon_pack = "fa"
+ HEAD
+    link = ""
+
+[[education]]
+    course = ""Computer Science / TIM"
+    link = "https://github.com/tborra"
+
+[[education]]
+    course = "Computer Science / TIM"
+ a3e69f3 (Add auditor profile)
+    institution = "University of California, Santa Cruz"
+    year = 2027
+
+[[organizations]]
+    name = "UC Santa Cruz"
+    role = "Auditor, AIEA Lab"
+
+
+I am an undergraduate student interested in artificial intelligence, logic, and computational reasoning. I enjoy learning how large language models can work together with symbolic reasoning systems to improve problem solving and decision making.

content/auditor/tanvi_borra.md

@@ -0,0 +1,62 @@
+
+bio = "I am an undergraduate student interested in artificial intelligence, logic, and computational reasoning. I am currently learning how LLMs connect with formal logic systems and symbolic reasoning."
+ HEAD
+date = "2025-05-13"
+date = "2023-09-01"
+id = ""
+interests = ["painting","hiking", "dancing"]
+name = "Tanvi Borra"
+portrait = "static/img/portraits/tanvi_borra.jpg"
+date = "2023-09-01"
+id = "W2133831"
+interests = ["painting", "hiking", "dancing"]
+name = "Tanvi Borra"
+portrait = "/portraits/tanvi.jpg"
+a3e69f3 (Add auditor profile)
+short_bio = "Undergraduate student exploring AI and logic systems."
+short_name = "Tanvi Borra"
+title = "Undergraduate Auditor"
+
+[[social]]
+    icon = "envelope"
+    icon_pack = "fa"
+    link = "mailto:tborra@ucsc.edu"
+
+[[social]]
+HEAD
+    icon = "github"
+    icon_pack = "fa"
+    link = "https://github.com/tborra"
+
+    icon = "twitter"
+    icon_pack = "fa"
+    link = ""
+ a3e69f3 (Add auditor profile)
+
+[[social]]
+    icon = "google-scholar"
+    icon_pack = "ai"
+    link = ""
+
+[[social]]
+    icon = "github"
+    icon_pack = "fa"
+ HEAD
+    link = ""
+
+[[education]]
+    course = ""Computer Science / TIM"
+    link = "https://github.com/tborra"
+
+[[education]]
+    course = "Computer Science / TIM"
+ a3e69f3 (Add auditor profile)
+    institution = "University of California, Santa Cruz"
+    year = 2027
+
+[[organizations]]
+    name = "UC Santa Cruz"
+    role = "Auditor, AIEA Lab"
+
+
+I am an undergraduate student interested in artificial intelligence, logic, and computational reasoning. I enjoy learning how large language models can work together with symbolic reasoning systems to improve problem solving and decision making.