Summer Research Intern
- Redesigned the Physlib.io website to display key metrics about project progress and contributors.
- Experimented with open source LLM models running on powerful University PCs to generate physics proofs in the Lean4 language and check documentation.









