CS Research Paper Accepted to National Conference

Harvey Mudd computer science students Mara Downing, Chris Thompson and Professor Lucas Bang co-authored a research paper that was accepted at the Association for the Advancement of Artificial Intelligence (AAAI) Conference on Artificial Intelligence and Interactive Digital Entertainment Strategy Game Workshop. The paper is titled "Automatically Solving Deduction Games via Symbolic Execution, Model Counting, and Entropy Maximization." Downing and Thompson designed a DSL for expressing a class of puzzles called "deduction games," implemented a symbolic execution engine for it using an automated theorem prover, and then wrote an entropy maximizer that outputs the steps of game solution. A user can give their system the source code of a game and it will then automatically solve the game, playing it in real time.