Juan Cruz Benito

Quantum source code generation based on a modeling system

An approach for assisting in the generation of quantum source code. The approach may include receiving a quantum source code input with a specification of constraints of a quantum …

juan-cruz-benito
•

Characterization, analysis and categorization of quantum programs without executing them

Various systems and methods are presented herein regarding automatically utilizing characterized codes to characterize an undefined code. The undefined code can be computer …

david-kremer
•

Reinforcement learning based transpilation of quantum circuits

Systems and techniques that facilitate quantum circuit transpiling are provided. For example, one or more embodiments described herein can comprise a system, which can comprise a …

david-kremer
•

Pauli Network Circuit Synthesis with Reinforcement Learning

We introduce a Reinforcement Learning (RL)-based method for re-synthesis of quantum circuits containing arbitrary Pauli rotations alongside Clifford operations. By collapsing each …

ayushi-dubal
•

Reinforced Learning for Quantum Design

A computer-implemented process for generating a policy for design of quantum devices using a quantum hardware design kit including instructions and parameters associated with the …

juan-cruz-benito
•

Reinforcement Learning based Clifford Circuit Synthesis

Systems and techniques that facilitate Clifford circuit synthesis are provided. For example, one or more embodiments described herein can comprise a system, which can comprise a …

juan-cruz-benito
•

Attention-based neural networks for quantum computing simulations

Quantum code-related entities are obtained and one or more of a set of one or more trained neural network models are selected for inferencing based on the quantum code-related …

juan-cruz-benito
•

Qiskit HumanEval: An Evaluation Benchmark For Quantum Code Generative Models

Quantum programs are typically developed using quantum Software Development Kits (SDKs). The rapid advancement of quantum computing necessitates new tools to streamline this …

sanjay-vishwakarma
•

AI methods for approximate compiling of unitaries

This paper explores artificial intelligence (AI) methods for the approximate compiling of unitaries, focusing on the use of fixed two-qubit gates and arbitrary single-qubit …

david-kremer
•

Qiskit Code Assistant: Training LLMs for generating Quantum Computing Code

Code Large Language Models (Code LLMs) have emerged as powerful tools, revolutionizing the software development landscape by automating the coding process and reducing time and …

nicolas-dupuis
•