Supplemental Material for "Towards Lemma Mining: Concurrent Lemma Exploration via Vampire and Large Language Models"
收藏官方服务：
资源简介：
This record contains supplemental result logs for the framework presented in "Towards Lemma Mining: Concurrent Lemma Exploration via Vampire and Large Language Models". Consult the README file for additional details.
提供机构：
Zenodo创建时间：
2026-04-15
