Login / Signup
NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks.
Swaroop Mishra
Arindam Mitra
Neeraj Varshney
Bhavdeep Singh Sachdeva
Peter Clark
Chitta Baral
Ashwin Kalyan
Published in:
ACL (1) (2022)
Keyphrases
</>
reasoning tasks
description logics
logic programming
automated reasoning
temporal reasoning
answer set programming
event calculus
situation calculus
reasoning problems
abductive reasoning
fuzzy description logics
bucket elimination
database
database systems
knowledge representation
logic programs