[{"research_group":[{"name":"CareTech OWL - Zentrum für Gesundheit, Soziales und Technologie","_id":"f025f82c-c221-11ec-90a2-d82e18d06cb8"}],"quality_controlled":"1","title":"FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators","project":[{"_id":"beb248c8-cd75-11ed-b77c-e432b4711f7b","name":"Institut für Systemdynamik und Mechatronik"}],"year":"2026","doi":"10.48550/ARXIV.2609.26824","type":"conference","publisher":"arXiv","_id":"7184","citation":{"apa":"Ahmed, Q. A., Karki, S., &#38; Jungeblut, T. (2026). FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators. arXiv. <a href=\"https://doi.org/10.48550/ARXIV.2609.26824\">https://doi.org/10.48550/ARXIV.2609.26824</a>","chicago":"Ahmed, Qazi Arbab, Suraj Karki, and Thorsten Jungeblut. “FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators.” arXiv, 2026. <a href=\"https://doi.org/10.48550/ARXIV.2609.26824\">https://doi.org/10.48550/ARXIV.2609.26824</a>.","short":"Q.A. Ahmed, S. Karki, T. Jungeblut, in: arXiv, 2026.","ieee":"Q. A. Ahmed, S. Karki, and T. Jungeblut, “FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators,” 2026.","mla":"Ahmed, Qazi Arbab, et al. <i>FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators</i>. arXiv, 2026, doi:<a href=\"https://doi.org/10.48550/ARXIV.2609.26824\">10.48550/ARXIV.2609.26824</a>.","alphadin":"<span style=\"font-variant:small-caps;\">Ahmed, Qazi Arbab</span> ; <span style=\"font-variant:small-caps;\">Karki, Suraj</span> ; <span style=\"font-variant:small-caps;\">Jungeblut, Thorsten</span>: FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators. In:  : arXiv, 2026","ama":"Ahmed QA, Karki S, Jungeblut T. FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators. In: arXiv; 2026. doi:<a href=\"https://doi.org/10.48550/ARXIV.2609.26824\">10.48550/ARXIV.2609.26824</a>","bibtex":"@inproceedings{Ahmed_Karki_Jungeblut_2026, title={FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators}, DOI={<a href=\"https://doi.org/10.48550/ARXIV.2609.26824\">10.48550/ARXIV.2609.26824</a>}, publisher={arXiv}, author={Ahmed, Qazi Arbab and Karki, Suraj and Jungeblut, Thorsten}, year={2026} }"},"department":[{"_id":"103"}],"author":[{"id":"257333","last_name":"Ahmed","orcid":"0000-0002-1837-2254","first_name":"Qazi Arbab","full_name":"Ahmed, Qazi Arbab","orcid_put_code_url":"https://api.orcid.org/v2.0/0000-0002-1837-2254/work/227695870"},{"full_name":"Karki, Suraj","last_name":"Karki","first_name":"Suraj"},{"first_name":"Thorsten","orcid":"0000-0001-7425-8766","last_name":"Jungeblut","orcid_put_code_url":"https://api.orcid.org/v2.0/0000-0001-7425-8766/work/227695871","full_name":"Jungeblut, Thorsten","id":"242294"}],"status":"public","date_updated":"2026-09-24T12:32:15Z","date_created":"2026-09-24T12:31:20Z","publication_status":"published","user_id":"257333","language":[{"iso":"eng"}]}]