Login / Signup
Thinking Deeply with Recurrence: Generalizing from Easy to Hard Sequential Reasoning Problems.
Avi Schwarzschild
Arjun Gupta
Micah Goldblum
Tom Goldstein
Published in:
CoRR (2021)
Keyphrases
</>
reasoning problems
description logics
decision procedures
reasoning tasks
constraint satisfaction problems
tree decomposition
computational properties
artificial intelligence
probabilistic reasoning
dl lite