Towards Efficient Formal Verification of Spiking Neural Network

Baekryun Seong, Jieung Kim, Sang-Ki Ko

Recently, AI research has primarily focused on large language models (LLMs), and increasing accuracy often involves scaling up and consuming more power. The power consumption of AI…