Thesis
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable PredicateÂ
MSc. Thesis, Fall 2023
By: Justin Stevens
Conferences and Symposia
The Maximum Number of Sets for 12 Cards is 14
In Proceedings of the IEEE Conference on Games, 2025.
By: Justin Stevens, Duncan Wilson, and Richard Kelley
EAAI-24 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program
In ACM SIGAI AI Matters, 2025.
By: Marion Neumann, Stephanie Rosenthal, Justin Stevens, Rachel Lugo, William Agnew, Shira Wein
Portability and Explainability of Synthesized Formula-based Heuristics
In Proceedings of the Symposium on Combinatorial Search, 2022.
By: Vadim Bulitko, Shuwei Wang, Justin Stevens, Levi HS Lelis