Michel Vazirani

According to our database, Michel Vazirani authored at least 2 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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, March, 2025

2021

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.

Wonhyuk Choi, Michel Vazirani, Mark Santolucito

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021