Exploring Depth Generalization in Large Language Models for Solving Recursive Logic Tasks