Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library.
Yangyang HuYang YuPublished in: CoRR (2022)
Keyphrases
- computer algebra systems
- connectionist models
- abductive reasoning
- abductive logic programming
- neural network
- neural learning
- computer algebra
- knowledge base
- belief updating
- symbolic reasoning
- symbolic representation
- logic programming
- network architecture
- reasoning tasks
- high level
- mathematical proofs
- bio inspired
- causal reasoning
- neural model
- constraint logic programming
- plan recognition
- explanation based learning
- human reasoning
- reasoning mechanisms
- mathematical modeling
- scientific discovery
- belief revision
- symbolic description
- knowledge representation
- reasoning process