{"citation":{"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>.","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>","short":"Q.A. Ahmed, S. Karki, T. Jungeblut, in: arXiv, 2026.","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","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>.","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} }","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>"},"_id":"7184","author":[{"id":"257333","full_name":"Ahmed, Qazi Arbab","orcid_put_code_url":"https://api.orcid.org/v2.0/0000-0002-1837-2254/work/227695870","last_name":"Ahmed","orcid":"0000-0002-1837-2254","first_name":"Qazi Arbab"},{"first_name":"Suraj","last_name":"Karki","full_name":"Karki, Suraj"},{"full_name":"Jungeblut, Thorsten","orcid_put_code_url":"https://api.orcid.org/v2.0/0000-0001-7425-8766/work/227695871","orcid":"0000-0001-7425-8766","last_name":"Jungeblut","first_name":"Thorsten","id":"242294"}],"department":[{"_id":"103"}],"publication_status":"published","date_created":"2026-09-24T12:31:20Z","date_updated":"2026-09-24T12:32:15Z","status":"public","language":[{"iso":"eng"}],"user_id":"257333","quality_controlled":"1","project":[{"_id":"beb248c8-cd75-11ed-b77c-e432b4711f7b","name":"Institut für Systemdynamik und Mechatronik"}],"title":"FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators","research_group":[{"_id":"f025f82c-c221-11ec-90a2-d82e18d06cb8","name":"CareTech OWL - Zentrum für Gesundheit, Soziales und Technologie"}],"year":"2026","publisher":"arXiv","doi":"10.48550/ARXIV.2609.26824","type":"conference"}