Paper accepted at OOPSLA'25

We are proud that our paper "Verification of Bit-Flip Attacks against Quantized Neural Networks", has been accepted at Object-Oriented Programming Systems, Languages and Applications (OOPSLA) - 2025.

@article{yedi2025OOPSLA,
  title={Verification of Bit-Flip Attacks against Quantized Neural Networks},
  author={Yedi Zhang and Lei Huang and Pengfei Gao and Fu Song and Jun Sun and Jin Song Dong},
  booktitle={Object-Oriented Programming Systems, Languages and Applications (OOPSLA)},
  year={2025}
}