TY  - RPRT
TI  - PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints
AU  - Tangrui Li
AU  - Pei Wang
AU  - Hongzheng Wang Christian Hahm
AU  - Matteo Spatola
AU  - Justin Shi
PY  - 2025
UR  - https://arxiv.org/abs/2511.08392
ID  - 2511.08392
ER  -