Michael Cashmore
6 papers · 2017–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 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
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