Xuran Cai

Identifiers

• name variant Xuran Cai 0.60 · backfill

Papers (1)

1. Polynomial Invariant Generation for Floating-Point Programs cs.PL · 2025 · author #1

Mentions

• 2507.15017 #1 · arxiv_oai · confidence 0.70 Xuran Cai

Frequent Coauthors

• Hongfei Fu 1 shared papers
• Liqian Chen 1 shared papers