Universal and fault-tolerant quantum computation is a promising new paradigm that may
efficiently conquer difficult computation tasks beyond the reach of classical computation. It …

We present QUBO. jl, an end-to-end Julia package for working with QUBO (Quadratic
Unconstrained Binary Optimization) instances. This tool aims to convert a broad range of …

In the contemporary era of scientific and technical innovations, we are witnessing
remarkable progress in the realm of quantum computing. Today's phase is referred to as the …

We develop an open-source, end-to-end software (named QHDOPT), which can solve
nonlinear optimization problems using the quantum Hamiltonian descent (QHD) algorithm …

Abstract Quantum Intermediate Representation (QIR) is an LLVM-based intermediary
representation developed by Microsoft for quantum program compilers. QIR's objective is to …

We propose a method to guide Large Language Models (LLMs) in generating structured
content adhering to specific conventions without fine-tuning. By utilizing coroutine-based …

The field of quantum computing is at an exciting time where we are constructing novel
hardware, evaluating algorithms, and finding out what works best. As qubit technology …

In this thesis, we are interested in the development of a Curry-Howard correspondence for
quantum computing, allowing to represent quantum types andquantum control-flow. In the …

Quantum Intermediate Representation (QIR) is an LLVM-based intermediate representation
developed by Microsoft for quantum program compilers. QIR is designed to offer a universal …

Quantum computers have evolved from the theoretical realm into a race to large-scale
implementations. This is due to the promise of revolutionary speedups, where achieving …