Outcome-supervised Verifiers for Planning in Mathematical Reasoning.
Fei YuAnningzhe GaoBenyou WangPublished in: CoRR (2023)
Keyphrases
- model based reasoning
- plan execution
- temporal planning
- incomplete knowledge
- planning systems
- forward chaining
- machine learning
- human reasoning
- knowledge representation
- mathematical proofs
- reasoning tasks
- goal oriented
- feature selection
- heuristic search
- unsupervised learning
- semi supervised
- data sets
- solving problems
- spatial reasoning
- stochastic domains
- planning problems
- information gathering
- mixed initiative
- knowledge base
- reasoning systems
- learning algorithm
- mathematical expressions
- htn planning
- plan generation
- supervised learning
- scientific discovery
- motion planning
- mathematical models
- automated reasoning
- ai planning
- model based diagnosis