vix.ing · top · new · best · stats · spec

Sehyeok Park

  1. Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
    2026/01/23 by Sehyeok Park, Jay P. Lim, Santosh Nagarakatte · 2 voices · 1 citation
    Computer Science · #cs.MS
  2. FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
    2026/02/17 by Tung-Che Chang, Sehyeok Park, Jay P Lim +1 · 2 voices
    Computer Science · #cs.MS