Predicting and Detecting Symmetries in FOL Finite Model Search
Deciding Boolean Algebra with Presburger Arithmetic
Searching for Shortest Single Axioms for Groups of Exponent 6
Explaining Gabriel-Zisman Localization to the Computer