things i've done
- Barebones implementation of linear logic in java
- System f implementation in java
- Extended SAE to Mamba-2 (improved on WriteSAE) @ Bionic Vision Lab
- Statistics research on asymmetric contamination of graphical models. currently in the process of publication.
- Wrote / co-wrote a couple expository papers on Hilbert's Nullstellensatz, Bonnet-Myers' theorem, J-function
courses i've taken
- Group theory/Ring theory/Galois theory
- Differential Geometry
- AI Alignment
- Type theory and Logic
- Proof based Linear algebra
- Algebraic combinatorics
- Topology