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