ATHENA: Mathematical Reasoning with Thought Expansion.
JB. KimHazel KimJoonghyuk HahnYo-Sub HanPublished in: CoRR (2023)
Keyphrases
- mathematical proofs
- knowledge base
- human reasoning
- reasoning systems
- meta level
- reasoning process
- qualitative reasoning
- reasoning tasks
- database
- probabilistic logic
- model based reasoning
- reasoning problems
- conflicting information
- probabilistic reasoning
- computational properties
- decision making
- genetic algorithm
- rule based reasoning
- artificial intelligence
- real time
- fuzzy description logics
- reasoning mechanism
- consistency checking
- information systems
- knowledge acquisition
- case study