CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning.
Adam Dahlgren LindströmSavitha Sam AbrahamPublished in: CoRR (2022)
Keyphrases
- proof theory
- language learning
- natural language
- programming language
- visual information
- specification language
- knowledge base
- mathematical proofs
- human reasoning
- reasoning mechanism
- meta level
- default reasoning
- mathematical theory
- reasoning process
- database
- tutoring system
- benchmark datasets
- visual features
- probabilistic reasoning
- synthetic datasets
- automated reasoning
- reasoning tasks
- intelligent tutoring systems
- logic programs
- knowledge representation
- computer algebra
- highly expressive
- visual query language
- high level
- computer algebra systems