40k$ in mini dev grants
and bug bounties
Optimized circuits for purification¹, better than any known circuits.
Krastanov et al.
Optimized Entanglement Purification
Quantum 2019
Jansen et al.
Enumerating all bilocal Clifford distillation protocols through symmetry reduction
Quantum 2022
Addala et al.
Faster-than-Clifford simulations of entanglement purification circuits and their full-stack optimization
NPJ QI 2025
Wang et al.
GHZ-Preserving Gates and Optimized Distillation Circuits
in review 2025
Wang et al.
Graph-state Optimized Distillation
in preparation 2025
Shi et al.
Stabilizer Entanglement Distillation and Efficient Fault-Tolerant Encoders
PRX Quantum 2025
Shi et al.
Measurement-based entanglement distillation and constant-rate quantum repeaters over arbitrary distances
PRL 2025
QuantumSavory.jl
github.com/QuantumSavory
Symbolic description of quantum logic
Declarative noise models
Translation to many simulator backends
Discrete event scheduler
High-level lego-like interface