3 citations · 3 across the 1 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023★ 1 cited
On the Size and Approximation Error of Distilled Sets
Alaa Maalouf, Murad Tukan, Noel Loo +3
Dataset Distillation is the task of synthesizing small datasets from large ones while still retaining comparable predictive accuracy to the original uncompressed dataset. Despite s…
cs.LG2021★ 3 cited
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee +1
We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in determinis…