1 citations · 1 across the 4 of their papers we have counts for
6 papers
Accelerating Training Speed of Tiny Recursive Models with Curriculum Guided Adaptive Recursion
Kaleem Ullah Qasim, Jiashu Zhang
Background: Recursive reasoning models achieve strong performance through iterative refinement, allowing small networks to match large language models. However, training is computa…
Complexity Agnostic Recursive Decomposition of Thoughts
Kaleem Ullah Qasim, Jiashu Zhang, Hafiz Saif Ur Rehman
Large language models often fail on multi-step reasoning due to fixed reasoning strategies that ignore problem specific difficulty. We introduce CARD (Complexity Agnostic Recursive…
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu, Tao Zhu, Xiaoyang Liu +6
Statement autoformalization, the automated translation of statements from natural language into formal languages, has become a subject of extensive research, yet the development of…
MARBLE: A Multi-Agent Rule-Based LLM Reasoning Engine for Accident Severity Prediction
Kaleem Ullah Qasim, Jiashu Zhang
Accident severity prediction plays a critical role in transportation safety systems but is a persistently difficult task due to incomplete data, strong feature dependencies, and se…
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang +5
Autoformalization, the automatic translation of mathematical content from natural language into machine-verifiable formal languages, has seen significant progress driven by advance…
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
Kaleem Ullah Qasim, Jiashu Zhang, Tariq Alsahfi +1
Enhancing the reasoning capabilities of Large Language Models remains a critical challenge in artificial intelligence. We introduce RDoLT, Recursive Decomposition of Logical Though…