CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
Junye Ji
59.60/100
🫥 Mediocre
Incremental, thin
Content 59.6 · Citation bonus +0.0 · no citation data
💡 This paper proposes the first version-pinned Lean4 CSLib-specific premise retrieval benchmark, revealing the performance limitations of existing retrieval methods in this scenario via systematic audit
#Lean4形式化验证#CSLib前提检索#基准构建#检索方法审计#Lean4 formal verificatio#CSLib premise retrieval#benchmark construction#retrieval method audit
Score breakdown
Novelty6.0 / 10
Rigor8.0 / 10
Significance7.0 / 10
Clarity8.0 / 10
Reproducibility9.0 / 10
This tone hasn't been generated yet — roast it again to create it.