Robustness Assessment of Mathematical Reasoning in the Presence of Missing and Contradictory Conditions.
Shi-Yu TianZhi ZhouLin-Han JiaLan-Zhe GuoYu-Feng LiPublished in: CoRR (2024)
Keyphrases
- sufficient conditions
- missing data
- reasoning systems
- knowledge base
- mathematical proofs
- neural network
- analogical reasoning
- computational properties
- reasoning process
- environmental conditions
- knowledge representation
- automated reasoning
- spatial reasoning
- risk assessment
- missing values
- formal models
- scientific discovery
- computational efficiency
- model based reasoning
- human reasoning
- assessment process
- reasoning engine