Space: jomasego/repro-mathliblemma-folklore-lemma-generation-and-benchmark-for-formal-mathematics
title: Reproduction: MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-2WfRsrQxpC, arxiv:2602.02561
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-2WfRsrQxpC, arxiv:2602.02561, region:us