Ameya Jadhav
technical builder (and investor, sometimes)
I study CS (AI/Systems) at Stanford. I work at Neo, OpenAI, 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
ITP-Enhanced LLM Reasoning
Stanford STAIR Lab (SAIL)
This work introduces a methodology for augmenting mathematical reasoning in LLMs through the incorporation of axiomatic structures from Interactive Theorem Provers. Empirical evaluations reveal statistically significant, albeit modest, enhancement in proof-theoretic capabilities, suggesting this formalism-driven approach offers a promising vector for advancing machine cognition in mathematical domains.
Medical NER and RE from Clinical Narratives
Stanford CS Department
This research develops a computational framework for biomedical entity recognition and relation extraction from clinical narratives. The system identifies semantic relationships between medical concepts, enabling automated reconstruction of patient treatment trajectories and pharmacological response patterns to facilitate evidence-based clinical decision-making.
Digital Threats Against Democracy
Georgia Tech T+ID Lab
This research employs computational linguistic methods to analyze cross-community discourse patterns within Twitter social networks, coupled with human-computer interaction studies examining cognitive load optimization for multi-stream social media monitoring in near-synchronous environments.