ATHENA: Mathematical Reasoning with Thought Expansion.
JB. KimHazel KimJoonghyuk HahnYo-Sub HanPublished in: EMNLP (2023)
Keyphrases
- human reasoning
- mathematical proofs
- knowledge base
- knowledge representation
- reasoning process
- decision making
- mathematical models
- meta level
- automated reasoning
- mathematical expressions
- computer algebra systems
- conflicting information
- reasoning mechanism
- model based reasoning
- scientific discovery
- knowledge processing
- formal models
- causal reasoning
- knowledge representation and reasoning
- fuzzy reasoning
- probabilistic reasoning
- cognitive processes
- natural language
- decision trees
- website