Sruti Goswami

According to our database, Sruti Goswami authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks.

Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems, 2026

Towards Verification of Spiking Neural Networks for Next-Generation AI Systems.

Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the Companion Proceedings of the 27th International Conference on Distributed Computing and Networking, 2026

2025

A Sampling-based Method for Output Safety Verification of Spiking Neural Networks.

Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025