Apppublic

jomasego/repro-mathliblemma-folklore-lemma-generation-and-benchmark-for-formal-mathematics

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes

2 commits on main

51310022mo ago

Update logbook: Reproduction: MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

jomasego

e24edbf2mo ago

initial commit

jomasego