Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge. (2025). Journal of Technology Informatics and Engineering, 4(2), 402-424. https://doi.org/10.51903/jtie.v4i2.505