2 papers
cs.CL2026
LCoT-GV: Graph Attention Networks for Verifying Long Reasoning Chains in Large Language Models
Bérénice Jaulmes, Mehwish Alam
Large Reasoning Models produce Long Chains-of-Thought (LCoTs) which involve breaking down the problem into smaller reasoning steps before reaching the conclusion. However, these st…
cs.AI2024
Neurosymbolic Methods for Rule Mining
Agnieszka Lawrynowicz, Luis Galarraga, Mehwish Alam +3
In this chapter, we address the problem of rule mining, beginning with essential background information, including measures of rule quality. We then explore various rule mining met…