Juan Cruz Benito

Large Language Model-Guided Discovery of Weight-Five Bivariate Bicycle Codes

Building on our earlier program-evolution workflow guided by large language models (LLMs), we study weight-five bivariate bicycle (BB) and perturbed bivariate bicycle (PBB) codes. …

juan-cruz-benito
•

Linter-Guided Repair of Quantum Code Smells

Quantum programs can suffer from quantum-specific code smells that cannot be captured by classical unit tests. We propose a framework that analyzes the existing programs released …

greta-dolcetti
•

Evolutionary Discovery of Bivariate Bicycle Codes with LLM-Guided Search

Quantum LDPC code discovery requires searching large algebraic design spaces while reliably certifying the parameters and equivalence classes of any candidates found. We present a …

juan-cruz-benito
•

Qiskit QuantumKatas: Adapting Microsoft's Quantum Computing exercises for LLM evaluation

We adapt Microsoft's QuantumKatas - a well-established quantum computing curriculum - from Q# to Qiskit, the most widely-adopted quantum computing framework, and package it with an …

juan-cruz-benito
•

Intelligent unitary synthesis for quantum computing

Systems and techniques that facilitate intelligent unitary synthesis for quantum computing are provided. For example, a system can access a unitary matrix of a quantum payload …

david-kremer-garcia
•

Intelligent and automated system for solving computational problems using quantum computation

A computer-implemented system with machine learning capabilities designed to address quantum computing challenges. The system's recommendation component employs a machine learning …

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
•