diff --git a/content/auditor/tanvi.md b/content/auditor/tanvi.md index 98b91717..a92b3e5e 100644 --- a/content/auditor/tanvi.md +++ b/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. \ No newline at end of file diff --git a/content/auditor/tanvi_borra.md b/content/auditor/tanvi_borra.md new file mode 100644 index 00000000..9d91e6cc --- /dev/null +++ b/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. \ No newline at end of file diff --git a/static/img/portraits/tanvi.jpg b/static/img/portraits/tanvi.jpg index 230385e4..219cb228 100644 Binary files a/static/img/portraits/tanvi.jpg and b/static/img/portraits/tanvi.jpg differ