Tung-Che Chang

Identifiers

• name variant Tung-Che Chang 0.60 · backfill

Papers (1)

1. FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean cs.MS · 2026 · author #1

Mentions

• 2602.15965 #1 · arxiv_oai · confidence 0.70 Tung-Che Chang

Frequent Coauthors

• Jay P Lim 1 shared papers
• Santosh Nagarakatte 1 shared papers
• Sehyeok Park 1 shared papers