Volume: Vol-4074 HHAI-WS 2025 | Year: 2025

Paper: « paper4-1 | short4-2 | short4-3 »

Synthetically generated proofs in Propositional Logic and Language Model reasoning performance

• Anthony Marchiafava
• Atriya Sen
• Justin Moua

165-171 PDF