AI ethics evidence index Search
Source-linked daily record
Evidence record 7280 · automatically gathered

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

Neuro-symbolic reasoning increasingly demands frameworks that unite the formal rigor of logic with the interpretability of large language models (LLMs). We introduce an end to end explainability by construction pipeline integrating the Automated Theorem Generator Delta1 based on the full triangular standard contradiction (FTSC) with LLMs. Delta1 deterministically constructs minimal unsatisfiable clause sets and complete theorems in polynomial time, ensuring both soundness and minimality by const

Record details

Published: 13 March 2026
Source: arXiv
Category: Research
Topics: Safety & alignment · Transparency
Retrieved: 14 July 2026

source-onlyevidence status

These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.

Shared topic: Safety & alignment · Shared topic: Transparency

COMPASS: The explainable agentic framework for Sovereignty, Sustainability, Compliance, and Ethics

arXiv · 11 March 2026

Shared topic: Safety & alignment · Shared topic: Transparency

Emulating Clinician Cognition via Self-Evolving Deep Clinical Research

arXiv · 11 March 2026

Shared topic: Safety & alignment · Shared topic: Transparency

VisualLeakBench: Auditing the Fragility of Large Vision-Language Models against PII Leakage and Social Engineering

arXiv · 11 March 2026

Shared topic: Safety & alignment · Shared topic: Transparency

Beyond Grading Accuracy: Exploring Alignment of TAs and LLMs

arXiv · 17 March 2026

Shared topic: Safety & alignment · Shared topic: Transparency

Prompt Programming for Cultural Bias and Alignment of Large Language Models

arXiv · 17 March 2026

Shared topic: Safety & alignment · Shared topic: Transparency

CDRRM: Contrast-Driven Rubric Generation for Reliable and Interpretable Reward Modeling

arXiv · 9 March 2026

How to cite this record

ethics.ai (13 March 2026), “Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning,” evidence record 7280, https://ethics.ai/record/7280 (originally published by arXiv).

JSON

Use and limitations

This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.