Kaj Bostrom

1. Natural Language Deduction with Incomplete Information
   2022/11/01 by Zayne Sprague, Sprague, Zayne, Kaj Bostrom +5 · 2 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
2. VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
   2025/11/06 by Feng Yu, Nathaniel Weir, Feng, Yu +13 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge