Nicole Ni

Identifiers

• name variant Nicole Ni 0.60 · backfill

Papers (1)

1. Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs cs.LO · 2025 · author #7

Mentions

• 2508.15878 #7 · arxiv_oai · confidence 0.70 Nicole Ni

Frequent Coauthors

• Junran Yang 1 shared papers
• Mrinmaya Sachan 1 shared papers
• Ning Wang 1 shared papers
• Rongchuan Liu 1 shared papers
• Terry Jingchen Zhang 1 shared papers
• Wenyuan Jiang 1 shared papers
• Yinya Huang 1 shared papers
• Yisong Wang 1 shared papers