Comparing Humans, GPT-4, and GPT-4V On Abstraction and Reasoning Tasks.

Melanie Mitchell Alessandro B. Palmarini Arseny Moskvichev

Published in: CoRR (2023)

Keyphrases

reasoning tasks
description logics
logic programming
automated reasoning
temporal reasoning
event calculus
situation calculus
answer set programming
abductive reasoning
reasoning problems
bucket elimination
high level
theorem proving
temporal constraints
belief networks
knowledge representation
database