Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. - Suraj Singireddy; Rickard Ewetz; Sumit Kumar Jha 001 (AICAS, 2022)

Verification of Flow-Based Computing Systems Using Bounded Model Checking. - Sven Thijssen; Suraj Singireddy; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2023)

Input-Aware Flow-Based In-Memory Computing. - Suraj Singireddy; Muhammad Rashedul Haq Rashed; Sven Thijssen; Rickard Ewetz; Sumit Kumar Jha 001 (ICCD, 2023)

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. - Suraj Singireddy; Andre Beckus; George K. Atia; Sumit Kumar Jha 001; Alvaro Velasquez (CoRR, 2023)

Equivalence Checking for Flow-Based Computing using Iterative SAT Solving. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Md Rubel Ahmed; Suraj Singireddy; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2024)