Research Assistant (Part-time), AI Research Group, University of Melbourne — Interpretable ML. Building mathematically-constrained PyTorch layers for symbolic regression; customizing backprop to extract closed-form scientific formulas from network weights.