TY  - RPRT
TI  - Logic-Regularized Verifier Elicits Reasoning from LLMs
AU  - Xinyu Wang
AU  - Changzhi Sun
AU  - Lian Cheng
AU  - Yuanbin Wu
AU  - Dell Zhang
AU  - Xiaoling Wang
AU  - Xuelong Li
PY  - 2026
DO  - 10.18653/v1/2025.acl-long.1567
UR  - https://arxiv.org/abs/2605.05893
ID  - 2605.05893
ER  -