← All selected publications
Findings of ACL 2026First author

NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering

Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha, Sumit Kumar Jha

Combining neuro-symbolic reasoning and formal checks to examine whether explanations support an answer.

Read paper (PDF)
Research overview for nsf-cot
Research overview · NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering

The research question

Does a model’s chain of thought support its answer?

Research summary

NSF-CoT combines neuro-symbolic reasoning and formal verification to examine chain-of-thought faithfulness. The setting is contextual question answering, where the relationship between the supplied context, stated reasoning, and final answer matters.

Read the complete paper ↗

More of my research

NeurIPS 2026Poster · First author

Harmless in Pieces, Harmful in Motion: Detecting Multi-Agent Jailbreaks

View research →NeurIPS 2026Poster · First author

Unified Resource-Grounded Coordination Protocol for Orchestrator-Free Heterogeneous Multi-Agent Systems

View research →EMNLP 2026Main conference · First author

Drift No More: Spectral Locking for Long-Horizon Open-Weight Multi-Agent AI

View research →