Vol-4073⫷ Vol-4074 ⫸Vol-4075
urn:nbn:de:0074-4074-0


Vol-4074/paper4-1⫷Vol-4074/short4-2⫸Vol-4074/short4-3
Anthony MarchiafavaAtriya SenJustin Moua

Synthetically generated proofs in Propositional Logic and Language Model reasoning performance