David Kremer

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
•

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
•

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
•

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
•

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
•