Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. - Wonhyuk Choi; Michel Vazirani; Mark Santolucito (APLAS, 2021)

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs. - Amogh Inamdar; Uzay Macar; Michel Vazirani; Michael Tarnow; Zarina Mustapha; Natalia Dittren; Sam Sadeh; Nakul Verma; Ansaf Salleb-Aouissi (CoRR, 2025)