Quantum Computing

Run Qiskit Code Assistant Locally easily!

You can now run the Qiskit Code Assistant locally easily. Download optimized models in GGUF format, install Ollama, and configure your VSCode or JupyterLab extension with a single command.

Seeing AI Through the Curry–Howard Lens

The Curry–Howard correspondence—propositions as types, proofs as programs—offers a conceptual framework for understanding what's missing in current LLMs and what becomes possible when AI systems learn to construct and verify proofs natively.

Qiskit Code Assistant Upgraded to Mistral-Small-3.2-24B-Qiskit

We've upgraded the Qiskit Code Assistant! Last month, we introduced mistral-small-3.2-24b-qiskit, replacing granite-3.3-8b-qiskit, delivering better accuracy across key benchmarks and more precise responses for quantum programming tasks.

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 Reinforcement Learning (RL) techniques to achieve near-optimal synthesis of …

qiskit-ibm-transpiler Ranks #3 in Unitary Foundation 2025 Survey

The qiskit-ibm-transpiler library advanced to `#3` in the Unitary Foundation 2025 Survey for full-stack development platforms, surpassing 929K downloads in under two years. AI transpiler passes now run in local mode without requiring an IBM Quantum premium plan.

AI for Qiskit. Hackathon starter pack

Technical presentation at the BasQ Qiskit Fall Fest 2025, a two-day quantum computing festival. This talk covers how AI can be applied to Qiskit development and quantum computing workflows, using the Qiskit Code Assistant and the AI-powered …

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 predictive models that are designed to enhance operational efficiency in …

David Peral García Successfully Defends His PhD Thesis on Quantum NLP

David Peral García successfully defended his PhD thesis on Quantum Natural Language Processing, representing likely the first PhD thesis in Spain dedicated to this emerging field. A proud moment as my first doctoral thesis as an advisor.

Keynote Speaker at Metafuturo 2025: Quantum Computing + AI Convergence

Thrilled to have been a keynote speaker at Metafuturo 2025, sharing insights on the convergence of Quantum Computing and AI. From LLMs and agentic AI applications for quantum computing to AI-optimized quantum circuits at IBM Quantum.

IEEE Quantum Week in Albuquerque: AI and Quantum Computing at IBM Quantum

Attending IEEE Quantum Week in Albuquerque, New Mexico, sharing IBM Quantum's work at the intersection of AI and Quantum Computing. Presenting on QPU time prediction with ML, AI methods for quantum circuit optimization, and demoing AI-powered quantum development environments.