Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge.
Jiayu LiuZhenya HuangZhiyuan MaQi LiuEnhong ChenTianhuang SuHaifeng LiuPublished in: KDD (2023)
Keyphrases
- knowledge base
- commonsense knowledge
- knowledge representation
- knowledge acquisition
- knowledge based systems
- knowledge discovery
- reasoning process
- reasoning mechanism
- general knowledge
- language understanding
- reasoning engine
- commonsense reasoning
- representing knowledge
- production rules
- probabilistic knowledge
- mathematical expressions
- rule based reasoning
- incomplete knowledge
- knowledge processing
- formal models
- mathematical knowledge