@misc{indiciaee554f997398a,
  title = {Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning},
  author = {Ali Farjami and Luca Redondi and Marco Valentino},
  year = {2026},
  url = {https://arxiv.org/abs/2601.05705},
  note = {Source identifier: 2601.05705}
}