Case study: solving P-99 with LPTP and an LLM
Fred Mesnard, Thierry Marianne, Étienne Payet, Wim Vanhoof
AI use, as the source states it
“Claude wrote 58 logic procedures, 508 tests, 257 lemmas for a total of 11800 proof lines.”
Model: Claude, as stated
Named here, or see a mistake? Write to privacy@papex.org.