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

Yang Xu, Jun Liu, Shuwei Chen +2

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…