Bostrom, Kaj

2 publications

ICLR 2026 VeriCoT: Neuro-Symbolic Chain-of-Thought Validation via Logical Consistency Checks Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala

ICLR 2024 MuSR: Testing the Limits of Chain-of-Thought with Multistep Soft Reasoning Zayne Rea Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett