Ameya Jadhav
technical builder (and investor, sometimes)
I study CS (AI/Systems) at Stanford. I work at Stanford AI Lab, General Catalyst, TreeHacks, Pear Garage, Cardinal Ventures, and more.
more about me
Recent Projects
Dictation Corrector
Proper noun correction Chrome extension for transcribed audio.
PathSense
Revolutionizing indoor mobility with real-time, adaptive AI-enabled guidance.
TestNinja
Autonomous agent platform for robust and context-aware test generation.
Dave
Devin-esque SWE agent that interacts with local development tools
Sonoverse
Leverages IPFS, NFT Certs, and Ethereum L2 blockchain to secure artists' ownership over their work, automating DMCA claims for small artists.
ClipCut
Complete end-to-end video automated editing agent.
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.