TY - RPRT TI - Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning AU - Shaun Baek AU - Shaun Esua-Mensah AU - Cyrus Tsui AU - Sejan Vigneswaralingam AU - Abdullah Alali AU - Michael Lu AU - Vasu Sharma AU - Sean O'Brien AU - Kevin Zhu PY - 2025 UR - https://arxiv.org/abs/2505.00001 ID - 2505.00001 ER -