pith. sign in

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