How Deep Can LLMs Learn to Reason? Expressiveness Is Key
ScaleLogic is introduced, a synthetic logical reasoning framework that offers independent control over two axes of difficulty: the depth of the required proof planning and the expressiveness of the underlying formal system.
Tianle Wang, Zhaoyang Wang, Guangchen Lan et al.
· 1 citation