Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge. JTIE [Internet]. 2025 Aug. 25 [cited 2026 Jun. 12];4(2):402-24. Available from: https://jtie.stekom.ac.id/index.php/jtie/article/view/505