Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. - Shubhani Gupta; Aseem Saxena; Anmol Mahajan; Sorav Bansal (SAT, 2018)

Image-to-Level: Generation and Repair. - Eugene Chen; Christoph Sydora; Brad Burega; Anmol Mahajan; Abdullah; Matthew Gallivan; Matthew Guzdial (AIIDE, 2020)

Conceptual Expansion Neural Architecture Search (CENAS). - Mohan Singamsetti; Anmol Mahajan; Matthew Guzdial (ICCC, 2021)