LogicTrack framework audits LLM reasoning using formal logic solvers
Researchers have introduced LogicTrack, a neuro-symbolic framework that verifies the logical validity of intermediate reasoning steps in large language models using automated theorem provers.