Mahsa Bazzaz

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Domain Expertise

Generation Algorithm

Automated Theorem Provers

Software Engineers

Top Venues

Publications

Seth Cooper, Mahsa Bazzaz
Literally Unplayable: On Constraint-Based Generation of Uncompletable Levels. FDG (2024)
Gwenyth Lincroft, Minsung Cho, Katherine Hough, Mahsa Bazzaz, Jonathan Bell
Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems. MSR (2024)
Mahsa Bazzaz, Seth Cooper
Active Learning for Classifying 2D Grid-Based Level Completability. CoG (2023)
Mahsa Bazzaz, Seth Cooper
Active Learning for Classifying 2D Grid-Based Level Completability. CoRR (2023)