Synthetically generated proofs in Propositional Logic and Language Model reasoning performance. - Anthony Marchiafava; Atriya Sen; Justin Moua (HHAI Workshops, 2025)