Causally Evaluating the Learnability of Formal Language Tasks — ThinkLLM