Sizhe Cui

Identifiers

No identifiers captured yet.

Papers (1)

1. Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4 math.CO · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jiaqi Wang 1 shared papers
• Jujian Zhang 1 shared papers
• Yihe Huang 1 shared papers