Large Language Models are utilized within neuro-symbolic pipelines to support natural language inference tasks, specifically aiding in entailment verification and explanation refinement as described in [1].