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