Sehyeok Park

Identifiers

• name variant Sehyeok Park 0.60 · backfill

Papers (2)

1. FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean cs.MS · 2026 · author #2
2. Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes cs.MS · 2026 · author #1

Mentions

• 2602.15965 #2 · arxiv_oai · confidence 0.70 Sehyeok Park
• 2601.17198 #1 · arxiv_oai · confidence 0.70 Sehyeok Park

Frequent Coauthors

• Santosh Nagarakatte 2 shared papers
• Jay P Lim 1 shared papers
• Jay P. Lim 1 shared papers
• Tung-Che Chang 1 shared papers