Suraj Singireddy

According to our database, Suraj Singireddy authored at least 6 papers between 2022 and 2026.

Collaborative distances:

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

2026

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.

Precious Nwaorgu, Suraj Singireddy, Andre Beckus, Aden McKinney, Mahyar Alinejad, Chinwendu Enyioha, Sumit Kumar Jha, Alvaro Velasquez, George K. Atia

Trans. Mach. Learn. Res., 2026

2024

Equivalence Checking for Flow-Based Computing using Iterative SAT Solving.

Sven Thijssen, Muhammad Rashedul Haq Rashed, Md Rubel Ahmed, Suraj Singireddy, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

2023

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.

Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez

CoRR, 2023

Input-Aware Flow-Based In-Memory Computing.

Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

Verification of Flow-Based Computing Systems Using Bounded Model Checking.

Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems.

Suraj Singireddy, Rickard Ewetz, Sumit Kumar Jha

Proceedings of the 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2022