Juan Cruz Benito

AI Methods for Permutation Circuit Synthesis Across Generic Topologies

This paper investigates artificial intelligence (AI) methodologies for the synthesis and transpilation of permutation circuits across generic topologies. Our approach uses …

victor-villar
•
AI Methods for Quantum Circuit Optimization featured image

AI Methods for Quantum Circuit Optimization

Full-day tutorial at IEEE Quantum Week 2025 (QCE25) on using and training AI-powered transpiler passes in Qiskit for quantum circuit optimization, co-presented with David Kremer …

david-kremer
•

Quantum Processing Unit (QPU) Processing Time Prediction with Machine Learning

This paper explores the application of machine learning (ML) techniques in predicting the QPU processing time of quantum jobs. By leveraging ML algorithms, this study introduces …

lucy-xing
•

Quantum Verifiable Rewards for Post-Training Qiskit Code Assistant

Qiskit is an open-source quantum computing framework that allows users to design, simulate, and run quantum circuits on real quantum hardware. We explore post-training techniques …

nicolas-dupuis
•

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
•

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
•

Natural language processing for restricting user access to systems

A method and system determine network based access to restricted systems. The method includes receiving a request for a permission access status of a party seeking access to one of …

juan-cruz-benito
•

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
•