Jinzheng Li

Identifiers

• name variant Jinzheng Li 0.60 · backfill

Papers (3)

1. MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving cs.LO · 2026 · author #1
2. Gauge-independent Gravitational Waves from Cogenesis in a $B-L$ Conserving Universe hep-ph · 2025 · author #2
3. Testing for shielding of special nuclear weapon materials stat.AP · 2014 · author #2

Mentions

• 2605.26959 #1 · arxiv_oai · confidence 0.70 Jinzheng Li

Frequent Coauthors

• Erwei Bai 1 shared papers
• Kung-Sik Chan 1 shared papers
• Pran Nath 1 shared papers
• Wan-Zhe Feng 1 shared papers
• William Eichinger 1 shared papers
• Yuanjie Ren 1 shared papers
• Zeru Zhu 1 shared papers
• Zong-Huan Ye 1 shared papers