Is there any information on the success rate of GPT-based provers on theorems in different sections of the metamath database? I am particularly interested in the very beginning, i.e., the part on propositional logic. I remember some paper saying that it is higher towards the beginning, but I can't find it now.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/c1843475-492d-4ba8-bef8-4715278a8df8n%40googlegroups.com.
