Cita APA (7a ed.)

Li, T., Wang, P., Hahm, H. W. C., Spatola, M., & Shi, J. (2025). PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints.

Cita Chicago Style (17a ed.)

Li, Tangrui, Pei Wang, Hongzheng Wang Christian Hahm, Matteo Spatola, y Justin Shi. PCRLLM: Proof-Carrying Reasoning with Large Language Models Under Stepwise Logical Constraints. 2025.

Cita MLA (9a ed.)

Li, Tangrui, et al. PCRLLM: Proof-Carrying Reasoning with Large Language Models Under Stepwise Logical Constraints. 2025.