Todo

[R] Baldur: Whole-Proof Generation and Repair with Large Language Models

[R] Quantum Computation and Quantum Information (0/12)

[R] Logical Foundations [Software Foundations] (0/17)

[L] EnglishPod (14/365)

[L] 天声人語 I (14/28)

Done

[R] MorphQPV-Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification

[R] A formally certified end-to-end implementation of Shor’s factorization algorithm

[R] Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

[R] Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

[R] QbC: Quantum Correctness by Construction

[V] Game Theory [MOOC] (84/84)

[V] Hidden Markov Model

[R&W] Basics of quantum information [IBM] (4/4)

[W] ECOOP 2024

[R] QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization

[R] Programming Quantum Computers: Essential Algorithms and Code Samples