The Open Proof Corpus: A large-scale study of LLM-generated mathematical proofs. ~ Jasper Dekoninck et als. https://openreview.net/forum?id=UP96fbOiqb #LLMs#Math#Reasoning
The Open Proof Corpus: A large-scale study of LLM-generated mathematical proofs. ~ Jasper Dekoninck et als. https://openreview.net/forum?id=UP96fbOiqb #LLMs#Math#Reasoning
A space for Bonfire maintainers and contributors to communicate