Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning

Researchers introduce Delta1, a framework that integrates automated theorem generation with large language models to create explainable AI reasoning. The system combines formal logic rigor with natural language explanations, demonstrating applications across healthcare, compliance, and regulatory domains.

• →Delta1 integrates automated theorem generation with LLMs for explainable neuro-symbolic reasoning.
• →The system constructs minimal unsatisfiable clause sets and complete theorems in polynomial time.
• →LLMs convert formal proofs into coherent natural language explanations and actionable insights.
• →Empirical studies show successful applications in healthcare, compliance, and regulatory domains.
• →The framework advances interpretable and auditable AI reasoning for critical applications.