Author

Nathaniel D. Bastian

h-index 26 View on Semantic Scholar

We have 15 of 295 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access 2026

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

NSF-CoT is presented, a neuro-symbolic formal verification method that checks CoT faithfulness step by step for contextual question answering and consistently outperforms causal mediation, perturbation probes, and behavioral monitoring.

Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian et al. · Annual Meeting of the Associ... · 1 citation

#machine learning Preprint Aug 2026

Trident : How to Break Deep Reinforcement Learning Cyber Defenses (Agentic)

Empirical evaluations reveal a fundamental brittleness in existing defenses: with a single trainable 7B planner, Trident reduces blue agent defensive performance by an average of 522% compared to static red agent baselines while autonomously discovering emergent behaviors such as decoy avoidance and adaptive state prio...

Ryozo Masukawa, Ian Bryant, Armita Kazeminajafabadi et al. · 1 citation

#artificial intelligence Preprint Aug 2026

Vector Symbolic Policy Gradient

Vector-Symbolic Policy Gradient (VSPG), a discrete-action actor that represents each action by a unit-norm hypervector and scores it by similarity to the encoded state, connects VSA action memories, log-linear policy gradients, and kernel policy search while providing a quantitative robustness guarantee.

Ryozo Masukawa, Sanggeon Yun, Sungheon Jeong et al. · 0 citations