Login / Signup
Suraj Singireddy
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Transfer Learning
Memory Footprint
Reinforcement Learning
Model Checking
Top Venues
CoRR
ICCD
AICAS
ICCAD
</>
Publications
</>
Suraj Singireddy
,
Andre Beckus
,
George K. Atia
,
Sumit Kumar Jha
,
Alvaro Velasquez
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.
CoRR
(2023)
Suraj Singireddy
,
Muhammad Rashedul Haq Rashed
,
Sven Thijssen
,
Rickard Ewetz
,
Sumit Kumar Jha
Input-Aware Flow-Based In-Memory Computing.
ICCD
(2023)
Sven Thijssen
,
Suraj Singireddy
,
Muhammad Rashedul Haq Rashed
,
Sumit Kumar Jha
,
Rickard Ewetz
Verification of Flow-Based Computing Systems Using Bounded Model Checking.
ICCAD
(2023)
Suraj Singireddy
,
Rickard Ewetz
,
Sumit Kumar Jha
Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems.
AICAS
(2022)