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
No public activity
None defined yet.
Experience-Guided Adaptation of Inference-Time Reasoning Strategies
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
No public activity