@misc{indiciaebe8140b3df4d,
  title = {Energy-efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration},
  author = {Ourania Spantidi and Georgios Zervakis and Iraklis Anagnostopoulos and Jörg Henkel},
  year = {2022},
  url = {https://arxiv.org/abs/2207.12350},
  note = {Source identifier: 2207.12350}
}