Michael Cashmore

6 papers · 2017–2025 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (9) 🚀 Conference Pioneer

Conferences

AAAI (3) IJCAI (2) AISTATS (1)

Top co-authors

Daniele Magazzeni (5) Parisa Zehtabi (2) Jorg Hoffmann (1) William Yeoh (1) Alessandro Cimatti (1) Andrea Micheli (1) Manuela Veloso (1) Fernando Acero (1) Son Tran (1) Stylianos Loukas Vasileiou (1)

Keywords

automated planning (2) reinforcement learning (1) temporal planning (1) oversubscription planning (1) automated reasoning (1) plan robustness (1) partial state (1) mixed-integer programming (1) hybrid planning (1) satisfiability modulo theory (1) model reconciliation (1) benders decomposition (1) state prediction (1) satisfiability modulo theories (1) simple temporal network (1) plan validation (1) plan-space explanation (1) plan-property dependency (1) goal entailment (1) plan explanation (1)

Papers

Model Evaluation in the Dark: Robust Classifier Metrics with Missing Labels AISTATS 2025

Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates AAAI 2024

A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) IJCAI 2023

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020

Robustness Envelopes for Temporal Plans AAAI 2019

Decreasing Uncertainty in Planning with State Prediction IJCAI 2017