(notitle) Like this:Like Loading... Post navigation VeriCoT: A Neuro-Symbolic Way to Make LLMs Prove Their Reasoning