2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CV2024★ 2 cited
Formal Verification of Deep Neural Networks for Object Detection
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss +4
Deep neural networks (DNNs) are widely used in real-world applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a systematic approa…
cs.LG2024
Statistical curriculum learning: An elimination algorithm achieving an oracle risk
Omer Cohen, Ron Meir, Nir Weinberger
We consider a statistical version of curriculum learning (CL) in a parametric prediction setting. The learner is required to estimate a target parameter vector, and can adaptively…