Michael Cashmore
6 papers · 2017–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🏃 Academic Marathon · Sprint 🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (12) 🧬 Topic Evolution
🧭
Keyword Pioneer
🚀
Conference Pioneer
Venues
Top co-authors
Research topics
Keywords
automated planning
(2)
reinforcement learning
(1)
temporal planning
(1)
oversubscription planning
(1)
automated reasoning
(1)
mixed integer programming
(1)
plan robustness
(1)
partial state
(1)
predictive distribution
(1)
missing data
(1)
multiple imputation
(1)
hybrid planning
(1)
satisfiability modulo theory
(1)
missing not at random
(1)
missing label
(1)
model reconciliation
(1)
classifier evaluation
(1)
benders decomposition
(1)
state prediction
(1)
satisfiability modulo theories
(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