Published May 17, 2022 | Version v1
Software Open

Verification-Aided Deep Ensemble Selection: Artifact

  • 1. The Hebrew University of Jerusalem

Description

This repository includes an artifact with our code, trained models, and experimental results for the empirical evaluations described in our paper --- "Verification-Aided Deep Ensemble Selection".

 

For specific instructions please read the attached README.txt file.

 

For technical questions - contact us at guyam@cs.huji.ac.il

Files

experiments.zip

Files (277.8 MB)

Name Size Download all
md5:ac0c4d78626591c7d614dfc7b1015292
6.2 MB Preview Download
md5:350e3cea0b6ace8f87cf7ca738360aa3
1.8 MB Preview Download
md5:57802e30104c5dd3317c82c207840087
1.8 kB Preview Download
md5:68de1ca3f488a3696646eeb648ce7d6d
269.8 MB Preview Download
md5:c48ccb80b4f7904c5000f823a51a0d8d
13.8 kB Preview Download