AINeutralarXiv – CS AI · 7h ago6/10
🧠
Neurosymbolic Learning for Inference-Time Argumentation
Researchers introduce Inference-Time Argumentation (ITA), a neurosymbolic framework that combines large language models with formal argumentation semantics for claim verification. The system generates arguments, scores them, and produces ternary (true/false/uncertain) predictions with faithful, inspectable reasoning structures rather than post-hoc justifications.