Ameya headshot
👋

Hello, I'm Ameya.

About me

I’m a student at Stanford studying Computer Science with a concentration in Artificial Intelligence and a minor in Management Science and Engineering. I've also been an undergrad researcher at Stanford Artificial Intelligence Lab — working on LLMs.

At Stanford, I'm a VP with Cardinal Ventures and Chief Financial Officer of TreeHacks.

featured projects

Research

Enhancing LLM General Reasoning with ITPs

Stanford STAIR Lab (SAIL)

This study introduces a method to improve Large Language Models' (LLMs) mathematical reasoning and autoformalization capabilities by incorporating formal proofs from Interactive Theorem Provers (ITPs) like Lean, Coq, and Isabelle. Initial results show modest improvements in LLMs' ability to generate informal proofs, suggesting the potential of formal proofs to advance LLMs' mathematical reasoning.

Medical NER and RE from Clinical Notes

Stanford CS Department

This project develops a system for medical named entity recognition (NER) and relation extraction (RE) from clinical notes, aiming to identify medical concepts and their relationships. The goal is to automate the extraction of a patient’s treatment history and effective medications, providing comprehensive profiles for better clinical decision-making

Digital Threats Against Democracy

Georgia Tech T+ID Lab

NLP research on Twitter social networks and how communities cross-interact; and HCI augmented research on how human trackers can monitor multiple social media feeds in semi real-time.