1 citations · 1 across the 6 of their papers we have counts for
8 papers
Beyond Score Prediction: LLM-Based Essay Scoring and Feedback Generation via Reinforcement Learning with Rubric Rewards
Xuefeng Jin, Jiashuo Zhang, Teng Cao +1
Large language models (LLMs) have been widely applied to automated essay scoring (AES) and automated feedback generation (AFG). However, existing studies rely primarily on prompt e…
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
Kaleem Ullah Qasim, Jiashu Zhang, Hao Li +1
Training language models to solve complex mathematical problems benefits from curriculum learning progressively training on simpler subproblems. However, existing decomposition met…
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…