Research paper / RESOURCE PROFILE

Quantum Correctness by Construction

Publication: QbC: Quantum Correctness by Construction. Published Jul 28, 2023.

Research & Papers
arxiv.orgPublished Jul 28, 2023
Visit source website ↗

Overview

Publication: QbC: Quantum Correctness by Construction. Published Jul 28, 2023.

Publication information

Publication title
QbC: Quantum Correctness by Construction
Authors
Anurudh Peduri, Ina Schaefer, Michael Walter
Published
Jul 28, 2023
Last publication revision
May 6, 2025
Venue / journal
Proc. ACM Program. Lang. 9, OOPSLA1, Article 99 (April 2025)
Subject areas
quant-ph, cs.LO, cs.PL, cs.SE
Publication source
arxiv.org · abs/2307.15641v3 ↗

Source: arXiv API · observed Oct 11, 2026.

Source links & provenance

https://arxiv.org/abs/2307.15641 ↗

Discovery references

References explain how this resource entered the collection. They do not represent an endorsement.

Explore related resources

Screenshot unavailableResource information and source links remain available. DeepIntoStreams/TSFM_Finance — reviewed source website screenshot
RepositoryChecked capture

DeepIntoStreams/TSFM_Finance

github.com

the official implementation of the paper “Re(visiting) Time Series Foundation Models in Finance”.

GitHub stars
31
Language
Jupyter Notebook
Code license
Apache-2.0
foundation-modeltime-seriesresearch-lab
Research & Papers Explore →
96 Authority 96 / 100 Cited by 2 resources in this directory 2 discovery sources Directory record updated: 2026-10-11 How scoring works →

Sign In

Don't have an account yet? Register

Forgot password?

Register

Reset Password

Please enter your username or email address, you will receive a link to create a new password via email.