@article{towardsscalingrobustnessverificationof,
  title = {Towards Scaling Robustness Verification of Semantic Features via Proof Velocity},
  author = {Anan Kabaha and Dana Drachsler Cohen},
  year = {2021},
  url = {https://openreview.net/forum?id=MQRDLiWCSh},
}