Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Published in Microsoft Research Technical Report (MSR-TR-2025-36), 2025