“Building the future, one line of code at a time”

Hi! I'm Arnav👨‍💻

I'm a student pursuing a B.S. in Computer Science at Cornell University, expected to graduate in May 2025. I'm currently working on a product that allows developers to implement RAG on user data for their LLM applications via an API. It allows users to track how their data is used and define natural language access control rules. You can learn more about DataBridge 🌉here.

You can find projects that I've worked on in theplaygroundsection. If you're interested in speaking with me, you can book a time or contact me via the contact section.

Alternatively, you could try this ✍️ (experimental!)chatbot.

Playground🪜

This section contains most of the projects - mostly code and links to my GitHub - that I've worked on. A lot of these projects were collaborations with other really smart people.

Topics include: Algorithmic Game Theory, Theorem Proving, Recommendation Systems, Knowledge Retrieval Systems, Computer Vision, Pacman, and Kaggle Competitions.

📸 Thumbnail credits: Google Images, ChatGPT

Play the Man

Learning to play against biased opponents

BrandSync

Create, and post graphics and text for Social Media

ProveML

A natural-language theorem prover for proposition logic

Space Efficient Config Assembly

Conclusions from my SDE Co-op at Amazon Robotics

CEO Interviews and Stock Prices

Insights from my Quantitative Research Internship at Eagle Talon Partners

Contact ☎️

You can reach me through email ✉️, connect with me on LinkedIn 🦅, or book a time to meet virtually on my calendar 📅

Alternatively, you can chat with the AI below to learn more about me - my interests, skills, availability, and more! Feedback on this would be greatly appreciated! 🙏