Thesis
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate
MSc. Thesis, Fall 2023
By: Justin Stevens
Full Papers
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
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
Short Papers
LLMTutorBench: A Benchmark for University-level TCS AI Tutoring Systems
In Proceedings of the ACM Technical Symposium on Computer Science Education, 2026.
By: Anant Gupta, Hieu Nguyen, Carine Geltrudes Webber, Justin Stevens, Abrahim Ladha, Sanika Ainchwar, Vijay Ganesh
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