Verified Programs for Frequent Itemset Mining - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Verified Programs for Frequent Itemset Mining

Résumé

Frequent itemset mining is one pillar of machine learning and is very important for many data mining applications. There are many different algorithms for frequent itemset mining, but to our knowledge no implementation has been proven correct using computer aided verification. Hu et al. derived on paper an efficient algorithm for this problem, starting from an inefficient functional program and by using program calculation derived an efficient version. Based on their work, we propose a formally verified functional implementation for frequent itemset mining developed with the Coq proof assistant. All the proposed programs are evaluated on classical datasets and are compared to a non verified Java implementation of the Apriori algorithm.
Fichier non déposé

Dates et versions

hal-02317083 , version 1 (15-10-2019)

Identifiants

Citer

Frédéric Loulergue, Christopher Whitney. Verified Programs for Frequent Itemset Mining. 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1516-1523, ⟨10.1109/SmartWorld.2018.00262⟩. ⟨hal-02317083⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More