7 citations · 10 across the 16 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Spatial Discretization for Fine-Grain Zone Checks with STARKs
Sungmin Lee, Kichang Lee, Gyeongmin Han +1
Many location-based services rely on a point-in-polygon test (PiP), checking whether a point or a trajectory lies inside a geographic zone. Since geometric operations are expensive…
cs.CR2025
Verifiable Dropout: Turning Randomness into a Verifiable Claim
Kichang Lee, Sungmin Lee, Jaeho Jin +1
Modern cloud-based AI training relies on extensive telemetry and logs to ensure accountability. While these audit trails enable retrospective inspection, they struggle to address t…