- 🔭 I’m currently working on: LLM and more LLM because they're very cool :)
- 📫 How to reach me: [email protected] / [email protected]
- ⚡ Fun fact: Lambda is my favorite Greek letter
- 🔭 I’m currently working on: LLM and more LLM because they're very cool :)
- 📫 How to reach me: [email protected] / [email protected]
- ⚡ Fun fact: Lambda is my favorite Greek letter
Forked from alexanderhalpern/HooHacks2024
1st place🥇submission to HooHacks 2024 (Art & Gaming) - KeyGlow 🎹✨. KeyGlow places a projector above your MIDI keyboard to allow you to learn songs faster. It first shows you what should be played, …
Python 1
Meta Data Science Case Competition [Top 5 Finalist Submission] - 2023 🌠. Key Tools: Gephi for Network Analysis, Matplotlib for Plotting, Scikit-Learn for Clustering, GPT-4 for Labeling.
HTML 1
🪄 Audoly is a music intelligence platform designed to assist artists and producers in getting their music discovered, playlisted, and charted. The primary tool currently is a Spotify playlist searc…
Forked from kevinsullivan/cs2120f23
UVa Discrete Mathematics CS2120 Fall 2023. Class in formal reasoning (formal logic, set theory, properties of relations, proof theory, etc.) using Lean4 💻
Lean 1