Interpretability
Understanding what models learn and why they behave as they do
Safety
AI safety research — formal methods, interpretability, fundamentals, and threat analysis
Formal Methods
Verification, specification, and provable guarantees for AI systems
Threat Models
What does 'safe' mean, and what are we actually afraid of?
Fundamentals
AI and ML basics — gradient descent, backprop, loss functions, and more