Portability and Explainability of Synthesized Formula-based Heuristics. - Vadim Bulitko; Shuwei Wang; Justin Stevens 001; Levi H. S. Lelis (SOCS, 2022)

Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate. - Justin Stevens 001; Vadim Bulitko; David Thue (CoRR, 2023)

EAAI-24 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program. - Marion Neumann; Stephanie Rosenthal; Justin Stevens 001; Rachel Lugo; William Agnew; Shira Wein (AI Matters, 2024)

The Maximum Number of Sets for 12 Cards is 14. - Justin Stevens 001; Duncan Wilson; Richard Kelley (CoG, 2025)

The Maximum Number of Sets for 12 Cards is 14. - Justin Stevens 001; Duncan Wilson (CoRR, 2025)