pith.
Research
Integrity
Review
Pre-print
sign in
Physics
Mathematics
Computer Science
Biology
Finance
Statistics
Systems
Economics
authors
/ Junye Ji
Junye Ji
Identifiers
name variant
Junye Ji
0.50 · backfill
Papers (1)
CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
cs.LO · 2026 · author #1
Mentions
No mention provenance yet.