1cff-version: 1.2.02message: "If you use this paper, code or certificates, please cite it as below."3title: "Zero-Forcing Bounds for Generalized Petersen Graphs: Computational Discovery and Certified Proofs for P(n,5) (UQO Working Paper 32)"4authors:5 - family-names: Boucher6 given-names: Simon-Pierre7 affiliation: "Université du Québec en Outaouais"8 email: simon-pierre.boucher@uqo.ca9date-released: 2026-10-3010version: "1.0"11license: MIT12notes: "First released as AutoScholar Working Paper AS-WP-2026-0001 (https://www.autoscholar.ai), 2026-10-30."13