Michael Katz
30 papers · 2015–2026 · 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 ↓+10 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (35) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π€
Dynamic Duo
(16)
π¬
Deep Specialist
(24)
π
Keyword Champion
(2)
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
β
The Questioner
(2)
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
π
Renaissance Researcher
(6)
ποΈ
Keyword Collector
(111)
Venues
Top co-authors
Research topics
Artificial Intelligence
(26)
Core AI
(26)
Machine Learning
(9)
Reinforcement Learning
(5)
Knowledge & Reasoning
(4)
Optimization & Theory
(4)
Reasoning
(4)
Deep Learning
(3)
Mathematics & Optimization
(3)
Natural Language Processing
(3)
Learning Types
(3)
Methods
(3)
Optimization
(3)
Applications Β· Natural Language Processing
(2)
Applications Β· Reinforcement Learning
(2)
Keywords
automated planning
(9)
classical planning
(7)
heuristic search
(6)
large language model
(6)
diverse planning
(3)
reinforcement learning
(3)
ai planning
(3)
plan quality
(3)
planning domain
(3)
top-k planning
(2)
planner selection
(2)
sample complexity
(2)
satisficing planning
(2)
scenario planning
(2)
a* search
(2)
red-black planning
(2)
search algorithm
(2)
cost-optimal planning
(2)
oversubscription planning
(2)
solution diversity
(2)
Papers
QueryGym: Step-by-Step Interaction with Relational Databases
AAAI 2026
ACPBench: Reasoning About Action, Change, and Planning
AAAI 2025
Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract)
AAAI 2025
Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning
AAAI 2024
Generalized Planning in PDDL Domains with Pretrained Large Language Models
AAAI 2024
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
AAAI 2024
Large Language Models as Planning Domain Generators (Student Abstract)
AAAI 2024
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
AAAI 2024
Thought of Search: Planning with Language Models Through The Lens of Efficiency
NeurIPS 2024
Action Space Reduction for Planning Domains
IJCAI 2023
Kβ Search over Orbit Space for Top-k Planning
IJCAI 2023
Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates
NeurIPS 2023
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning
AAAI 2022
Bounding Quality in Diverse Planning
AAAI 2022
How to Reduce Action Space for Planning Domains? (Student Abstract)
AAAI 2022
Custom-Design of FDR Encodings: The Case of Red-Black Planning
IJCAI 2021
Efficient Black-Box Planning Using Macro-Actions with Focused Effects
IJCAI 2021
IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution
AAAI 2021
Symbolic Search for Oversubscription Planning
AAAI 2021
The Fewer the Merrier: Pruning Preferred Operators with Novelty
IJCAI 2021
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling
AAAI 2020
Reshaping Diverse Planning
AAAI 2020
Top-Quality Planning: Finding Practically Useful Sets of Best Plans
AAAI 2020
Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts
IJCAI 2019
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection
AAAI 2019
Red-Black Heuristics for Planning Tasks with Conditional Effects
AAAI 2019
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice
IJCAI 2018
In Search of Tractability for Partial Satisfaction Planning
IJCAI 2016
Structural Symmetries for Fully Observable Nondeterministic Planning
IJCAI 2016
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
IJCAI 2015