4 citations · 10 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022★ 2 cited
SOS: Score-based Oversampling for Tabular Data
Jayoung Kim, Chaejeong Lee, Yehjin Shin +4
Score-based generative models (SGMs) are a recent breakthrough in generating fake images. SGMs are known to surpass other generative models, e.g., generative adversarial networks (…
cs.LO2022★ 2 cited
Extracting efficient exact real number computation from proofs in constructive type theory
Michal Konečný, Sewon Park, Holger Thies
Exact real computation is an alternative to floating-point arithmetic where operations on real numbers are performed exactly, without the introduction of rounding errors. When prov…