CA for CS112

- Developed a knowledge graph of over 26,000 theorems to enhance LLMs in mathematical proof generation, utilizing Python, Neo4j, and XML data processing.- Integrated OpenAI APIs and function calling with the Lean theorem prover, enabling LLM traversal of the knowledge graph to improve mathematical reasoning capabilities.- Led a team of three students and acted as a liaison with mentors to streamline the research process and coordinate project milestones.

- Selected from 100+ applicants to lead a team of 5 in the Strategy Lab competition to orchestrate the development of a Venmo credit card adoption program - Facilitated team collaboration and consolidated consumer preferences leveraging Qualtrics survey data to craft compelling visuals for the final pitch deck using Google Slides; finalist

- Tennis instructor for three young players- Focused on creating strong trustworthy relationships between both students and coach for a healthy and fun learning environment - Developing and improving upon basic tennis skills: forehand, backhand, volleys, serves

- Personal English tutor for middle school student- Focused on creating a strong trustworthy relationship between student and tutor for a healthy and fun learning environment- Assess the student’s strengths and weaknesses in different areas, plan sessions to target specific skills, and develop ways to help him improve- Enhanced student's reading comprehension, grammar, essay writing, and text analysis abilities to complement school material