Bayless, Sam

3 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

IJCAI 2017 Scalable Constraint-Based Virtual Data Center Allocation Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

AAAI 2015 SAT Modulo Monotonic Theories Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu