Search papers, labs, and topics across Lattice.
The paper introduces MAWARITH, a new large-scale dataset of 12,500 Arabic inheritance cases designed to evaluate the full reasoning chain required to solve Islamic inheritance problems. They also propose MIR-E, a weighted multi-stage metric to evaluate LLMs beyond final-answer accuracy by scoring key reasoning stages and capturing error propagation. Experiments evaluating five LLMs in a zero-shot setting reveal that Gemini-2.5-flash achieves approximately 90% MIR-E, while other models remain below 50%, highlighting challenges in scenario interpretation, heir identification, and rule application.
LLMs still struggle with complex legal reasoning, as evidenced by their difficulty in solving Islamic inheritance cases, even with a new dataset designed to support step-by-step reasoning.
Islamic inheritance law ('ilm al-mawarith) is challenging for large language models because solving inheritance cases requires complex, structured multi-step reasoning and the correct application of juristic rules to compute heirs' shares. We introduce MAWARITH, a large-scale annotated dataset of 12,500 Arabic inheritance cases to train and evaluate the full reasoning chain: (i) identifying eligible heirs, (ii) applying blocking (hajb) and allocation rules, and (iii) computing exact inheritance shares. Unlike prior datasets that restrict inheritance case solving to multiple-choice questions, MAWARITH supports the full reasoning chain and provides step-by-step solutions, including intermediate legal decisions and justifications based on classical juristic sources and established inheritance rules, as well as exact share calculations. To evaluate models beyond final-answer accuracy, we propose MIR-E (Mawarith Inheritance Reasoning Evaluation), a weighted multi-stage metric that scores key reasoning stages and captures error propagation across the pipeline. We evaluate five LLMs in a zero-shot setting. Gemini-2.5-flash achieves about 90% MIR-E on both validation and test, while Fanar-C, Fanar-Sadiq, LLaMA 3, and Qwen 3 remain below 50%. Our error analysis identifies recurring failure patterns, including scenario misinterpretation, errors in heir identification, errors in share allocation, and missing or incorrect application of key inheritance rules such as 'awl and radd. The MAWARITH dataset is publicly available at https://github.com/bouchekif/inheritance_evaluation.
