Comment Comment by Karrot_Kream Curious if there is any analysis on how often an LLM can create proofs correctly without special prompting. parent Karrot_Kream 7 months ago
