VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency.
Vernon TohRatish PuduppullyNancy F. ChenPublished in: CoRR (2023)
Keyphrases
- consistency checking
- human reasoning
- reasoning systems
- data sets
- knowledge representation
- logical framework
- mathematical proofs
- reasoning mechanisms
- model based reasoning
- analogical reasoning
- knowledge processing
- model checking
- reasoning tasks
- legal reasoning
- automated reasoning
- face verification
- spatial reasoning
- constraint networks
- constraint satisfaction
- reasoning problems
- artificial intelligence
- verification method
- machine learning