Results and benchmarks
A Verified Optimizer for Quantum Circuits is the primary contribution described in this paper.
Benchmark evidence is limited
Evidence graph: 4 refs, 4 links.
Utility signals: depth 60/100, grounding 85/100, status medium.
Implementation
Best maintained implementation now
A Small Quantum Intermediate Representation
100 stars · 26 forks · Last push Apr 2, 2026 · MIT license
- License
- CI
- Dependencies
- Docker
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Partial overlap with paper title keywords
inQWIRE/SQIRE is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (MIT).
Open inQWIRE/SQIRE- Dependency manifest is missing
- Selected inQWIRE/SQIRE as the strongest maintained implementation for new work.
- Includes CI workflow signals.
- Repository activity is within the last 24 months.
- Official repository is preserved separately as historical context.
Compare implementation paths
Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.
- Maintenance
- Recently updated
- Confidence
- High
- Reproducibility
- Moderate
- Stars
- 100
- Last push
- Apr 2, 2026 (145d)
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
- No Docker setup
- Dependency manifest missing
- Maintenance
- Recently updated
- Confidence
- High
- Reproducibility
- Moderate
- Stars
- 100
- Last push
- Apr 2, 2026 (145d)
Official implementation from Papers with Code · Matched via arXiv identifier search
- No Docker setup
- Dependency manifest missing
- Maintenance
- Active
- Confidence
- Low
- Reproducibility
- Limited
- Stars
- 0
- Last push
- Aug 24, 2026 (2d)
Matched via arXiv identifier search · Strong overlap with paper title keywords
- No tagged releases
- No Docker setup
- Dependency manifest missing
Reproduction readiness
Major work
No dependency manifest, manual reconstruction required
- inQWIRE/SQIRE has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
- You will need to reverse-engineer dependencies from import statements in the source code.
Hardware requirements
- Expect multi-day setup/compute for meaningful reproduction based on current guidance.
Validation caveat
Framework baselines
- PyTorch Adam optimizer docs
Reference implementation of Adam in PyTorch.
- Optax Adam optimizer docs
JAX/Flax baseline for Adam variants.
- Keras Adam optimizer docs
TensorFlow/Keras baseline for Adam.
Repositories and ecosystem
No additional verified repositories beyond the primary recommendation.
These repositories had low-confidence matching signals and are hidden by default.
- ibrahimmian36/quantum-verification-catalog
Confidence: Low · 0 stars
Hugging Face artifacts
No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.
Models
- Motif-Technologies/optimizer
139 downloads · 58 likes
- intuit/agent-tool-optimizer
79 downloads · 5 likes
Broaden model search
Datasets
No trustworthy datasets matches right now.
Search datasets on Hugging FaceSpaces
No trustworthy spaces matches right now.
Search spaces on Hugging FaceResearch context
Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.
Open in HFEPXData includes links from Papers with Code ( CC-BY-SA-4.0 ).