LILA: A Unified Benchmark for Mathematical Reasoning.
Swaroop MishraMatthew FinlaysonPan LuLeonard TangSean WelleckChitta BaralTanmay RajpurohitOyvind TafjordAshish SabharwalPeter ClarkAshwin KalyanPublished in: EMNLP (2022)
Keyphrases
- mathematical proofs
- knowledge base
- reasoning systems
- human reasoning
- knowledge representation
- meta level
- information systems
- unified model
- legal reasoning
- reasoning tasks
- reasoning process
- spatial reasoning
- deductive reasoning
- reasoning problems
- mathematical modeling
- model based reasoning
- fuzzy reasoning
- database
- probabilistic reasoning
- website
- search engine
- artificial intelligence
- information retrieval
- neural network
- databases
- data sets