Formally Verifying Stock Classifiers: Artifact

Wiedenmann, Daniel; Amir, Guy

doi:10.5281/zenodo.16418639

ScienceGate Book Chapters

JOURNAL ARTICLE

Formally Verifying Stock Classifiers: Artifact

Wiedenmann, Daniel Amir, Guy

Year: 2025 Journal: Zenodo (CERN European Organization for Nuclear Research) Publisher: European Organization for Nuclear Research

DOI: 10.5281/zenodo.16418639

Get Full-Text PDF Get Analytical Report

Abstract

This is an artifact accompanying our paper "Formally Verifying Stock Classifiers". For any questions, please contact Daniel Wiedenmann ([email protected])

Keywords:

Artifact (error) Stock (firearms) Software

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.61

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Time Series Analysis and Forecasting

Physical Sciences → Computer Science → Signal Processing

Stock Market Forecasting Methods

Social Sciences → Decision Sciences → Management Science and Operations Research

Complex Systems and Time Series Analysis

Social Sciences → Economics, Econometrics and Finance → Economics and Econometrics

Formally Verifying Stock Classifiers: Artifact

Abstract

Metrics

Topics

Related Documents