Login / Signup
SCITAB: A Challenging Benchmark for Compositional Reasoning and Claim Verification on Scientific Tables.
Xinyuan Lu
Liangming Pan
Qian Liu
Preslav Nakov
Min-Yen Kan
Published in:
CoRR (2023)
Keyphrases
</>
scientific discovery
database
real world
reasoning systems
knowledge base
model checking
reasoning tasks
databases
spatial reasoning
qualitative reasoning
production rules
meta level
automated reasoning
default reasoning
legal reasoning
formal models
relational databases