3 papers
cs.AI2026
Structured Decomposition for LLM Reasoning: Cross-Domain Validation and Semantic Web Integration
Albert Sadowski, Jarosław A. Chudziak
Rule-based reasoning over natural language input arises in domains where decisions must be auditable and justifiable: clinical protocols specify eligibility criteria in prose, evid…
cs.AI2025
On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations
Albert Sadowski, Jarosław A. Chudziak
Legal reasoning requires both precise interpretation of statutory language and consistent application of complex rules, presenting significant challenges for AI systems. This paper…
cs.AI2025
Explainable Rule Application via Structured Prompting: A Neural-Symbolic Approach
Albert Sadowski, Jarosław A. Chudziak
Large Language Models (LLMs) excel in complex reasoning tasks but struggle with consistent rule application, exception handling, and explainability, particularly in domains like le…