AIBullisharXiv – CS AI · 18h ago7/10
🧠
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Researchers present a neurosymbolic reasoning method that integrates large language models into formal logic systems using paraconsistent logic, enabling sound and complete reasoning while leveraging LLM knowledge. The approach improves factuality evaluation by 6 percentage points and successfully identifies logical contradictions in medical knowledge bases without causing logical explosion.