jazz

Author: vivCoding

pages/_data/projects.json

@@ -11,6 +11,12 @@
     "image": "/assets/images/projects/code_icon.png",
     "description": "Basic experiment of improving logical reasoning (specifically relation extractions) for ChatGPT"
   },
+  {
+    "title": "Program Synthesizer",
+    "link": "https://github.com/vivCoding/ps",
+    "image": "/assets/images/projects/code_icon.png",
+    "description": "Basic program-by-example (PBE) synthesizer that can generate programs that perform basic array manipulation and arithmetic on an input array. Does bottom-up and top-down enumeration to search for programs."
+  },
   {
     "title": "MeetCode",
     "link": "https://devpost.com/software/meetcode",

pages/_includes/index/about.liquid

@@ -18,7 +18,7 @@
 
   {% comment %} ig a bit more scalable, since now i can insert mini links wherever i want if i want {% endcomment %}
   {% assign sentence1 = "I am currently a Master's student in CS at Purdue University." | split: " " %}
-  {% assign sentence2 = "I like web dev and generative AI, especially code generation." | split: " " %}
+  {% assign sentence2 = "I like web dev and AI, especially for code generation and verification." | split: " " %}
   {% assign sentence3 = "I also like making fun and useful things." | split: " " %}
   {% assign sentence4 = "My current favorite sorting algorithm is" | split: " " %}