Lila: A Unified Benchmark for Mathematical Reasoning.
Swaroop MishraMatthew FinlaysonPan LuLeonard TangSean WelleckChitta BaralTanmay RajpurohitOyvind TafjordAshish SabharwalPeter ClarkAshwin KalyanPublished in: CoRR (2022)
Keyphrases
- knowledge base
- human reasoning
- mathematical proofs
- reasoning process
- mathematical expressions
- analogical reasoning
- reasoning systems
- logical reasoning
- comparative analysis
- spatial reasoning
- resource bounded
- computational properties
- benchmark suite
- reasoning problems
- model based reasoning
- knowledge processing
- causal reasoning
- data sets
- uncertain information
- logical framework
- reasoning tasks
- production rules
- expert systems
- image segmentation
- artificial intelligence
- information retrieval