{"id":3524,"date":"2024-07-11T19:16:11","date_gmt":"2024-07-11T19:16:11","guid":{"rendered":"https:\/\/oge.mit.edu\/msrp\/?post_type=profiles&#038;p=3524"},"modified":"2025-12-09T12:21:29","modified_gmt":"2025-12-09T17:21:29","slug":"madeline-bumpus","status":"publish","type":"profiles","link":"https:\/\/oge.mit.edu\/msrp\/profiles\/madeline-bumpus\/","title":{"rendered":"Madeline Bumpus"},"content":{"rendered":"<div class=\"wp-block-image\">\n<figure class=\"alignleft size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"1024\" src=\"https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited-1024x1024.jpg\" alt=\"Madeline, Headshot\" class=\"wp-image-3740\" style=\"object-fit:cover;width:200px;height:200px\" srcset=\"https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited-1024x1024.jpg 1024w, https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited-300x300.jpg 300w, https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited-150x150.jpg 150w, https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited-768x768.jpg 768w, https:\/\/oge.mit.edu\/msrp\/wp-content\/uploads\/sites\/2\/2024\/08\/BumpusMadeline-edited.jpg 1443w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n<\/div>\n\n\n<p><strong>MIT Department: <\/strong>Aeronautics and Astronautics<br><strong>Faculty Mentor: <\/strong> Prof. Chuchu Fan<br><strong>Research Supervisors: <\/strong>Kunal Garg, Yilun Hao<br><strong>Undergraduate Institution:<\/strong> Howard University<br><strong>Hometown:<\/strong> Toledo, Ohio<br><strong>Website:<\/strong> <a href=\"http:\/\/www.linkedin.com\/in\/madeline-bumpus-781b2a223\">LinkedIn<\/a><\/p>\n\n\n\n<div style=\"height:0px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Biography<\/strong><\/h4>\n\n\n\n<p>Madeline Bumpus is a senior at Howard University pursuing a bachelor&#8217;s degree in Computer Science with a minor in Mathematics. Currently, she works in the REliable Autonomous Systems Lab at MIT (REALM) under Dr. Chuchu Fan researching autonomous planning. Her previous work on Voronoi diagrams in the Hilbert metric resulted in a publication in the 2023 Canadian Conference on Computational Geometry. She is a proud Karsh STEM Scholar and is passionate about introducing our next generation to STEM. Madeline also serves as the president of her university\u2019s math club. In her free time, she enjoys music, weightlifting, and playing rugby. She intends to pursue a Ph.D. in Computer science or Artificial Intelligence and Decision Making.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Abstract<\/strong><\/h4>\n\n\n\n<p class=\"has-text-align-center\"><strong>Optimizing Cooperative Strategies in Overcooked: A Formal Approach Using Foundation Models<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>Madeline Bumpus<sup>1<\/sup>, Yilun Hao<sup>2<\/sup>, Chuchu Fan<sup>2<\/sup><\/strong><br><sup>1<\/sup>Department of Electrical Engineering and Computer Science, Howard University<br><sup>2<\/sup>Department of Aeronautics and Astronautics, Massachusetts Institute of Technology<\/p>\n\n\n\n<p class=\"has-text-align-left\"><br>This project applies formal verification techniques, specifically satisfiability modulo theory (SMT), to the cooperative cooking game \u201cOvercooked\u201d to optimize task management and strategy in dynamic environments. Overcooked provides a challenging, real-time setting that mimics operational issues seen in multi-agent systems, making it an ideal testbed for advanced AI strategies. This project pioneers the integration of formal methods to enhance in-game decision-making processes, which has implications beyond gaming, potentially improving AI behaviors in similar real-world scenarios such as robotics, autonomous vehicles, and logistics. By leveraging SMT to solve these models, the project ensures strategies are not only theoretically sound but also practically viable because SMT solvers are designed to ensure satisfiability. This approach fills a significant gap in research on dynamic interactive systems, where traditional heuristic methods fall short, offering a robust toolset for sophisticated decision-making processes in various applications, ultimately advancing the field of AI and multi-agent systems.<\/p>\n","protected":false},"featured_media":3740,"template":"","profile_category":[22],"class_list":["post-3524","profiles","type-profiles","status-publish","has-post-thumbnail","hentry","profile_category-2024-interns"],"acf":[],"_links":{"self":[{"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/profiles\/3524","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/profiles"}],"about":[{"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/types\/profiles"}],"version-history":[{"count":5,"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/profiles\/3524\/revisions"}],"predecessor-version":[{"id":4883,"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/profiles\/3524\/revisions\/4883"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/media\/3740"}],"wp:attachment":[{"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/media?parent=3524"}],"wp:term":[{"taxonomy":"profile_category","embeddable":true,"href":"https:\/\/oge.mit.edu\/msrp\/wp-json\/wp\/v2\/profile_category?post=3524"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}