activity
20232026
most citedTR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

27 citations · 31 across the 8 of their papers we have counts for

collaborators
Showing quant-phShow all

5 papers · 1 filter

quant-ph2025

Benchmarking Quantum Architecture Search with Surrogate Assistance

Darya Martyniuk, Johannes Jung, Daniel Barta +1

The development of quantum algorithms and their practical applications currently relies heavily on the efficient design, compilation, and optimization of quantum circuits. In parti…

quant-ph2025

Leveraging Diffusion Models for Parameterized Quantum Circuit Generation

Daniel Barta, Darya Martyniuk, Johannes Jung +1

Quantum computing holds immense potential, yet its practical success depends on multiple factors, including advances in quantum circuit design. In this paper, we introduce a genera…

quant-ph2024

Quantum Architecture Search: A Survey

Darya Martyniuk, Johannes Jung, Adrian Paschke

Quantum computing has made significant progress in recent years, attracting immense interest not only in research laboratories but also in various industries. However, the applicat…

quant-ph2024

Measurable Krylov Spaces and Eigenenergy Count in Quantum State Dynamics

Saud Čindrak, Adrian Paschke, Lina Jaurigue +1

In this work, we propose a quantum-mechanically measurable basis for the computation of spread complexity. Current literature focuses on computing different powers of the Hamiltoni…

quant-ph2023

Hybrid Quantum Machine Learning Assisted Classification of COVID-19 from Computed Tomography Scans

Leo Sünkel, Darya Martyniuk, Julia J. Reichwald +5

Practical quantum computing (QC) is still in its infancy and problems considered are usually fairly small, especially in quantum machine learning when compared to its classical cou…