7 papers
Narration-of-Thought: Inference-Time Scaffolding for Defeasible Ethical Reasoning in Large Language Models
Patrick Cooper, Alvaro Velasquez
Standard chain-of-thought on moral dilemmas exhibits two failure modes: stakeholder collapse (the trace names at most one party with a stake in the outcome) and uncertainty suppres…
DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models
Patrick Cooper, Alvaro Velasquez
A rule-based logic solver resolves every instance in our benchmark in under 50 microseconds with 100% accuracy; the best frontier language model reaches 65% at best and drops to 23…
ANSR-DT: A Neuro-Symbolic Framework for Adaptive and Explainable Digital Twins
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +1
Digital twins are increasingly used to monitor and optimize industrial systems, yet many existing frameworks remain difficult to interpret, slow to adapt, and limited in their abil…
ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning
Safayat Bin Hakim, Keyan Guo, Wenkai Tan +3
LLM-based agents can recover from individual execution errors, yet they repeatedly fail on the same fault when the underlying process knowledge--operator schemas, preconditions, an…
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +2
Cybersecurity demands both rapid pattern recognition and deliberative reasoning, yet purely neural or purely symbolic approaches each address only one side of this duality. Neuro-S…
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +1
Current Retrieval-Augmented Generation systems use uniform processing, causing inefficiency as simple queries consume resources similar to complex multi-hop tasks. We present SymRA…