Return to Article Details Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge Download Download PDF