TY  - RPRT
TI  - Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
AU  - Ali Farjami
AU  - Luca Redondi
AU  - Marco Valentino
PY  - 2026
UR  - https://arxiv.org/abs/2601.05705
ID  - 2601.05705
ER  -