Research paper / RESOURCE PROFILE

Scalable Verification of Quantized Neural Networks (Technical Report)

Publication: Scalable Verification of Quantized Neural Networks (Technical Report). Published Dec 15, 2020.

Research & Papers
arxiv.orgPublished Dec 15, 2020
Visit source website ↗

Overview

Publication: Scalable Verification of Quantized Neural Networks (Technical Report). Published Dec 15, 2020.

Publication information

Publication title
Scalable Verification of Quantized Neural Networks (Technical Report)
Authors
Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić
Published
Dec 15, 2020
Last publication revision
Apr 5, 2022
Subject areas
cs.AI, cs.LG
Publication source
arxiv.org · abs/2012.08185v2 ↗

Source: arXiv API · observed Oct 11, 2026.

Source links & provenance

https://arxiv.org/pdf/2012.08185 ↗

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.