Zainab Imam Attahiru (zia21): Commonsense Reasoning
Nissim Chekroun (nc536): Separation Logic
Alan Marko (am2677):  Geometric Theorem Proving
Kevalee Shah (ks877): Machine Learning in Theorem Proving
Maja Trela (mjt203): Built-in Unification Algorithms