RecT: A Recursive Transformer Architecture for Generalizable Mathematical Reasoning.
Rohan DeshpandeJerry ChenIsabelle LeePublished in: NeSy (2021)
Keyphrases
- reasoning engine
- inference engine
- knowledge base
- knowledge representation
- knowledge processing
- management system
- real time
- fuzzy logic
- mathematical proofs
- power transformers
- automated reasoning
- software architecture
- natural language
- expert systems
- bdi agents
- web services
- analogical reasoning
- model based reasoning
- learning algorithm
- genetic algorithm
- data sets