Submitted by
Adam Stein
AI & ML interests
None defined yet.
Papers
Experience-Guided Adaptation of Inference-Time Reasoning Strategies
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
None defined yet.
Experience-Guided Adaptation of Inference-Time Reasoning Strategies
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks