Zarina Mustapha

Identifiers

• name variant Zarina Mustapha 0.60 · backfill

Papers (1)

1. LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs cs.DM · 2025 · author #5

Mentions

• 2503.19280 #5 · arxiv_oai · confidence 0.70 Zarina Mustapha

Frequent Coauthors

• Amogh Inamdar 1 shared papers
• Ansaf Salleb-Aouissi 1 shared papers
• Michael Tarnow 1 shared papers
• Michel Vazirani 1 shared papers
• Nakul Verma 1 shared papers
• Natalia Dittren 1 shared papers
• Sam Sadeh 1 shared papers
• Uzay Macar 1 shared papers